HAL-Inria | Publications, software ... of Inria's scientists |
Antoine Bouthors 1
Author
Eric Bruneton 1
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : eric-bruneton ORCID : https://orcid.org/0000-0002-3480-2971
Fabrice Neyret 1
Author Employer institution : Centre National de la Recherche Scientifique IdHAL : fabrice-neyret ORCID : https://orcid.org/0000-0003-0777-2401
Nelson Max 2
Author