Kevin Fauvel 1
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : kevin-fauvel
Daniel Balouek-Thomert 2
Author
Diego Melgar 3
Author
Pedro Silva 4
Author
Anthony Simonet 2
Author IdHAL : asimonet
Gabriel Antoniu 4
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Alexandru Costan 4
Author IdHAL : alexandru-costan
Véronique Masson 1
Author Employer institution : Université de Rennes 1 IdHAL : veronique-masson
UNIV-RENNES1 | CENTRALESUPELEC | INRIA | UNIV-RENNES | IRISA | CNRS | UR1-UFR-ISTIC | IRISA-INSA-R | INSA-RENNES