conf.researchr.org / Martin Jonáš
![Martin Jonáš](https://conf.researchr.org/getProfileImage/martinjonas/684fb632-5c05-4765-a601-e5d18b14d20d/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