Registered user since Fri 18 Oct 2019
Name:Martin Jonáš
Country:Italy
Affiliation:Fondazione Bruno Kessler
Personal website: http://fi.muni.cz/~xjonas
Research interests:Satisfiability Modulo Theories, Software Verification
Contributions
POPL 2020-profile
View general profile
View general profile