Write a Blog >>
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

VMCAI 2020Committee Member in Artifact-Evaluation Committee within the VMCAI 2020-track
Show activities from other conferences

Using general profile