ETAPS 2019 (series) / Jan Strejcek
![Jan Strejcek](https://conf.researchr.org/getProfileImage/janstrejcek/4c1487f8-1f4b-45ea-b193-98c45c1c44b7/small.jpg?1712698924000)
Registered user since Thu 1 Aug 2019
Name:Jan Strejcek
Country:Czechia
Affiliation:Masaryk University
Personal website: https://www.fi.muni.cz/~xstrejc/
Contributions
ETAPS 2019-profile
View general profile
View general profile