Florent Kirchner 1 AuthorId : 1277478 Author Employer institution : Laboratoire d'Intégration des Systèmes et des Technologies
Nikolai Kosmatov 1 AuthorId : 844474 Author
Virgile Prévosto 1 AuthorId : 1550351 Author
Julien Signoles 1 AuthorId : 1109306 Author
Boris Yakobowski 1 AuthorId : 844478 Author IdHAL : boris-yakobowski
Computer Science [cs] / Software Engineering [cs.SE] Computer Science [cs] / Logic in Computer Science [cs.LO]
CEA | CEA-UPSAY | DRT | LIST