| 2009 | ||
|---|---|---|
| 2 | Thomas Bouton, Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine: veriT: An Open, Trustable and Efficient SMT-Solver. CADE 2009: 151-156 | |
| 1 | Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine: Combining Decision Procedures by (Model-)Equality Propagation. Electr. Notes Theor. Comput. Sci. 240: 113-128 (2009) | |
| 1 | Thomas Bouton | [2] |
| 2 | David Déharbe | [1] [2] |
| 3 | Pascal Fontaine | [1] [2] |