Pierre Casteran

Pierre Casteran
Maître de Conférences
Université de Bordeaux
Département
M2F
Équipe
Modèles et Technologies pour la Vérification
Fonction administrative
Emérite
Page personnelle
http://www.labri.fr/~casteran
Adresse E-mail
pierre.casteran[at]labri.fr
Bureau
312
Tel
+33 (0)5 40 00 35 26