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
ETAPS 2019-profile
View general profile
View general profile