Thomas GEFFROY
Thomas Geffroy Doctorant ()

Équipe LaBRI : Méthodes formelles
Courrier électronique : thomas.geffroyarobaselabri.fr
Bureau : 325
Tél : +33 (0)5 40 00 84 27


Extrait de publications


Thomas Geffroy. Vers des outils efficaces pour la vérification de systèmes concurrents. Autre [cs.OH]. Université de Bordeaux, 2017. Français


Page mise à jour le 13/08/2010 à 10:56