Jérôme Leroux

Jérôme Leroux
Directeur de Recherches
CNRS
Department
M2F
Team
Modèles et Technologies pour la Vérification
Personal page
http://www.labri.fr/~leroux
E-mail address
jerome.leroux[at]labri.fr
Office
264
Tel
+33 (0)5 40 00 35 09

Excerpt from publications