Write a Blog >>
Martin Jonáš

Registered user since Fri 18 Oct 2019

Name:Martin Jonáš
Country:Italy
Affiliation:Fondazione Bruno Kessler
Research interests:Satisfiability Modulo Theories, Software Verification

Contributions

Show activities from other conferences

POPL 2020-profile
View general profile