Gérald Point

Gérald Point
Ingénieur de Recherches
CNRS
Department
M2F
Team
Modèles et Technologies pour la Vérification
Personal page
http://dept-info.labri.fr/~point
E-mail address
gerald.point[at]labri.fr
Office
262
Tel
+33 (0)5 40 00 38 76

Excerpt from publications