![Martin Jonáš](https://popl20.sigplan.org/getProfileImage/martinjonas/48659028-4322-4607-a445-5bc3676c5fd9/small.jpg?1711502150000)
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