Thomas Bouton

	2009
1		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	David Déharbe	[1]
2	Pascal Fontaine	[1]
3	Diego Caminha B. de Oliveira	[1]