Eduardo Mazza 1
Auteur correspondant Etablissement employeur : Institut National Polytechnique de Grenoble
Marie-Laure Potet 2
Auteur
Daniel Le Métayer 3
Auteur correspondant Etablissement employeur : Institut National de Recherche en Informatique et en Automatique