Carlos Areces 1AuthorPersonId : 830513
Sergio MeraAuthor
Santiago FigueiraAuthor
Computer Science [cs] / Logic in Computer Science [cs.LO]
CNRS | INRIA | UNIV-LORRAINE | INRIA2 | LORIA