ETAPS 2019 (series) / Jan Kretinsky
![Jan Kretinsky](https://conf.researchr.org/getProfileImage/jankretinsky/1f7d56e8-963a-47fd-b8bf-e72f43014f56/small.jpg?1711693958000)
Registered user since Mon 24 Sep 2018
Name:Jan Kretinsky
Country:Germany
Affiliation:Technical University of Munich
Personal website: https://www7.in.tum.de/~kretinsk/
Contributions
ETAPS 2019-profile
View general profile
View general profile