conf.researchr.org / Joana Plewnia
Not registered as user yet
Name:Joana Plewnia
Contributions
PERR 2019 | Author of Understanding Counterexamples for Relational Properties with DIbugger within the PERR-track |
Not registered as user yet
Contributions
PERR 2019 | Author of Understanding Counterexamples for Relational Properties with DIbugger within the PERR-track |