conf.researchr.org / Hendrik Cech
Not registered as user yet
Name:Hendrik Cech
Contributions
| * ICSE 2018 * | Author of Inferring and Asserting Distributed System Invariants within the Technical Papers -track |
Not registered as user yet
Contributions
| * ICSE 2018 * | Author of Inferring and Asserting Distributed System Invariants within the Technical Papers -track |