HAL-Inria | Publications, software ... of Inria's scientists |
Reiner Hähnle 1
Author
Michiel Helvenstijn 2
Author
Einar Broch Johnsen 3
Author
Michael Lienhardt 4, 5
Author Employer institution : Université Paris Diderot - Paris 7
Davide Sangiorgi 4, 6
Author
Ina Schaefer 7
Author Employer institution : Technische Universität Braunschweig [Braunschweig]
Peter Wong 8
Author