Sylvain Conchon 1, 2 AuthorId : 52028 Author
Jean-Christophe Filliâtre 1, 2 AuthorId : 818334 Author IdHAL : jean-christophe-filliatre
Computer Science [cs] / Logic in Computer Science [cs.LO]
CNRS | INRIA | UMR8623 | LRI-VALS