Alexandre Vautier 1
Auteur
Marie-Odile Cordier 1
Auteur Etablissement employeur : Institut National de Recherche en Informatique et en Automatique
René Quiniou 1
Auteur Etablissement employeur : Institut National de Recherche en Informatique et en Automatique IdHAL : rene-quiniou
INRIA | IRISA | IRISA-D7 | UR1-UFR-ISTIC | UNIV-RENNES | INRIA-RENGRE