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

2019

PERR

Author of Understanding Counterexamples for Relational Properties with DIbugger within the PERR-track