HAL-Inria | Publications, software ... of Inria's scientists |
Thomas Lefeuvre 1
Author
Emin Koray Kasnakli 2
Author
Imen Fassi 1, 3
Author
Isabelle Puaut 1, 3
Author Employer institution : Université de Rennes 1 IdHAL : isabelle-puaut IdRef : https://www.idref.fr/071169733 ORCID : https://orcid.org/0000-0001-9310-9651
Christoph Cullmann 4
Author
Steven Derrien 1, 5
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : steven-derrien
Gernot Gebhard 4
Author
CNRS | UNIV-RENNES1 | CENTRALESUPELEC | IRISA | INRIA | UNIV-RENNES | UR1-UFR-ISTIC | INSA-RENNES