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 | Understanding Counterexamples for Relational Properties with DIbugger | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile