Home
Projects
Publications
Talks
Awards
Contact
Counterexample-Guided Model Synthesis
Project
Slides
Date
Jul 22, 2017 4:49 PM — 4:49 PM
Event
International Workshop on Satisfiability Modulo Theories (SMT’17)
Location
Heidelberg, Germany
Mathias Preiner
Research Scientist
Cite
×