Sophie Fortz, Ph.D.
Open Menu
Close Menu
Home
Experience
Publications
Teaching activities
Service activities
PhD project
Curriculum Vitae
SAT/SMT Solving
An SMT-based concolic testing tool for logic programs
Sep 2, 2020