conf.researchr.org / Martin Jonáš
Registered user since Fri 18 Oct 2019
Name:Martin Jonáš
Country:Czechia
Affiliation:Masaryk University
Personal website: http://fi.muni.cz/~xjonas
Research interests:Satisfiability Modulo Theories, Software Verification
Contributions