HAL-Inria | Les publications, logiciels... des scientifiques Inria |
Jasmin Blanchette 1
Auteur
Andrei Popescu 1
Auteur Etablissement employeur : Technische Universität München [München]
Daniel Wand 2
Auteur
Christoph Weidenbach 2, 3
Auteur
INRIA | UNIV-LORRAINE | LORIA-FM | LORIA