Login / Signup
Diego Caminha
Publication Activity (10 Years)
Years Active: 2010-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)