ETAPS 2019 (series) / Jan Kofroň
![Jan Kofroň](https://conf.researchr.org/getProfileImage/jankofron/33b448fd-4745-4139-9843-03d718b4c5c5/small.jpg?1718213307000)
Registered user since Mon 4 May 2015
Name:Jan Kofroň
Country:Czechia
Affiliation:Charles University
Personal website: http://d3s.mff.cuni.cz/~kofron/
Research interests:Code Model Checking, Source code verification and analysis Security of web applications
Contributions
2019
ETAPS
ETAPS 2019-profile
View general profile
View general profile