ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
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

Show activities from other conferences

ETAPS 2019-profile
View general profile