ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
ETAPS 2019 (series) / Jan Kofroň
Jan Kofroň

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

Show activities from other conferences

ETAPS 2019-profile
View general profile