ETAPS 2019 (series) / Jan Kofroň
Registered user since Mon 4 May 2015
Name:Jan Kofroň
Country:Czech Republic
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