HAL-Inria | Publications, software ... of Inria's scientists |
Francis Mairet 1
Author
Jean-Luc Gouzé 2, 3
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : jean-luc-gouze ORCID : https://orcid.org/0000-0001-7156-7934
Hidde de Jong 4
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
INSMI | UNIV-NANTES | CNRS | INRIA | LOV | UNIV-COTEDAZUR | SORBONNE-UNIVERSITE | UMS-829 | INRAE | INSU | SU-SCIENCES