ETAPS 2019 (series) / Michael Kirsten
Registered user since Tue 2 Apr 2019
Name: Michael Kirsten
Country: Germany
Affiliation: Karlsruhe Institute of Technology (KIT)
Personal website: https://formal.iti.kit.edu/~kirsten/
Contributions
| PERR 2019 | Author of Understanding Counterexamples for Relational Properties with DIbugger within the PERR-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile