| 2012 | ||
|---|---|---|
| j2 | Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine: Combining decision procedures by (model-)equality propagation. Sci. Comput. Program. 77(4): 518-532 (2012) | |
| 2009 | ||
| j1 | 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) | |
| c1 | 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 | Thomas Bouton | |
| 2 | David Déharbe (David Boris Paul Déharbe) | |
| 3 | Pascal Fontaine |
Data released under the ODC-BY 1.0 license — See also our legal information page