Publications
Export 3 results:
Author Title Type [ Year![(Asc)](https://verify2022.inf.usi.ch/sites/all/modules/biblio/misc/arrow-asc.png)
Filters: First Letter Of Last Name is P [Clear All Filters]
Verification-Aided Regression Testing,
, ISSTA, 06/2014, (2014)
A Flexible Schema for Generating Explanations in Lazy Theory Propagation,
, International Conference on Formal Methods and Models for Codesign (MEMOCODE), Grenoble, France, (2010)
The OpenSMT Solver,
, International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Volume 6015, Paphos, Cyprus, p.150-153, (2010)