HAL-Inria | Publications, software ... of Inria's scientists |
Véronique Cortier 1
Author
Steve Kremer 2
Author IdHAL : steve-kremer
Ralf Kuesters 3
Author
Bogdan Warinschi 1
Author
INRIA | CNRS | UNIV-FCOMTE | UNIV-BM | FEMTO-ST | UNIV-BM-THESE | ENS-CACHAN | LORIA | UNIV-LORRAINE | LORIA-FM | ENS-PARIS-SACLAY