Thomas Bouton

Publication Activity (10 Years)

Years Active: 2009-2010
Publications (10 Years): 0

Publications

Thomas Bouton, Diego Caminha, David Déharbe, Pascal Fontaine
GridTPT: a distributed platform for Theorem Prover Testing. PAAR@IJCAR (2010)
Thomas Bouton, Diego Caminha Barbosa De Oliveira, David Déharbe, Pascal Fontaine
veriT: An Open, Trustable and Efficient SMT-Solver. CADE (2009)