Jérôme Leroux

Jérôme Leroux
Directeur de Recherches
CNRS
Département
M2F
Équipe
Modèles et Technologies pour la Vérification
Page personnelle
http://www.labri.fr/~leroux
Adresse E-mail
jerome.leroux[at]labri.fr
Bureau
264
Tel
+33 (0)5 40 00 35 09

Extrait de publications