Gwen Salaün 1AuthorPersonId : 880331
Corina Pasareanu 2Author
Computer Science [cs] / Software Engineering [cs.SE] Computer Science [cs] / Formal Languages and Automata Theory [cs.FL] Computer Science [cs] / Logic in Computer Science [cs.LO]
UGA | CNRS | INRIA | LIG | LIG_MFML_CONVECS | CONVECS | INRIA2 | LIG_SIDCH