Sylvie Boldo 1 AuthorId : 833201 Author IdHAL : sboldo
Julien Signoles 2 AuthorId : 841007 Author Employer institution : Laboratoire d'Intégration des Systèmes et des Technologies
Computer Science [cs] / Logic in Computer Science [cs.LO] Computer Science [cs] / Programming Languages [cs.PL]
JFLA2017 | CNRS | CEA | DRT | INRIA | CENTRALESUPELEC | UMR8623 | LRI-VALS | LIST | CEA-UPSAY