Sophie Fortz, Ph.D.

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

© 2024 Me. This work is licensed under CC BY NC ND 4.0

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.