conf.researchr.org / Martin Jonáš
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