Hugo Gimbert

Hugo Gimbert
Chargé de Recherches
CNRS
Department
M2F
Team
Modèles et Technologies pour la Vérification
Administrative function
Responsable du Département M2F
Personal page
http://www.labri.fr/~gimbert
E-mail address
hugo.gimbert[at]labri.fr
Office
275
Tel
+33 (0)5 40 00 84 28

Excerpt from publications