E-mail:
pierre-jean.spaenlehauer@inria.fr

ORCID:
0000-0001-7906-0505

Address:
Inria Nancy Grand-Est
Equipe CARAMBA, bâtiment B
615, rue du jardin botanique
F-54600 Villers-lès-Nancy Cedex
FRANCE
Tel:+33 3 54 95 86 13.