Diego Caminha B. de Oliveira

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	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

Coauthor Index

1	Thomas Bouton	[c1]
2	David Déharbe (David Boris Paul Déharbe)	[j2] [j1] [c1]
3	Pascal Fontaine	[j2] [j1] [c1]

Last update Wed May 22 11:08:35 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page