HAL-Inria | Publications, software ... of Inria's scientists |
Patricia Bournai 1
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Christophe Lavarenne 2
Author
Paul Le Guernic 1
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Olivier Maffeis 1
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Yves Sorel 2
Author IdHAL : yves-sorel
INRIA | INRIA-RRRT | IRISA | CNRS | UNIV-RENNES1 | LARA | UR1-MATH-STIC | UR1-UFR-ISTIC | UNIV-RENNES | INSA-GROUPE | INSA-RENNES | UR1-MATH-NUM | EC-PARIS | INRIA2