Karine Mordal 1
Author
Nicolas Anquetil 2
Author IdHAL : nicolas-anquetil ORCID : https://orcid.org/0000-0003-1486-8399
Jannik Laval 3
Author IdHAL : jannik-laval ORCID : https://orcid.org/0000-0002-7155-5762
Alexander Serebrenik 1
Author
Bogdan Vasilescu 1
Author
Stéphane Ducasse 1, 2
Author IdHAL : stephane-ducasse
CNRS | INRIA | LABRI | UNIV-BORDEAUX | UNIV-PARIS8 | UNIV-LILLE3 | CRISTAL-RMOD | CRISTAL | LIASD | UNIV-PARIS-LUMIERES