Bruno Blanchet 1
Author IdHAL : bruno-blanchet
Xavier Leroy 2
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : xavier-leroy ORCID : https://orcid.org/0000-0002-8971-9171
Damien Doligez 3
Author IdHAL : damien-doligez
François Rouaix 2
Author
Jérôme Vouillon 2
Author
Pierre Weis 2
Author