Sergio Mera 1Author
Computer Science [cs] / Logic in Computer Science [cs.LO]
CNRS | INRIA | UNIV-LORRAINE | INRIA2 | LORIA