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
Damien Doligez 3
Author IdHAL : damien-doligez
François Rouaix 2
Author
Jérôme Vouillon 2
Author
Pierre Weis 2
Author