conf.researchr.org / Michael Kirsten
Registered user since Tue 2 Apr 2019
Name:Michael Kirsten
Country:Germany
Affiliation:Karlsruhe Institute of Technology (KIT)
Personal website:https://formal.kastel.kit.edu/~kirsten/
GitHub:https://github.com/mi-ki
Contributions
| PERR 2019 | Author of Understanding Counterexamples for Relational Properties with DIbugger within the PERR-track |