- Thomas Bouton, Diego Caminha B. de Oliveira, David Déharbe
and Pascal Fontaine.
veriT: an open, trustable and efficient SMT-solver.
In Renate A. Schmidt, editor,
In Proc. Conference on Automated Deduction (CADE). LNCS. Springer-Verlag, 2009. (To appear).
Preprint: pdf bibtex
