Thomas GEFFROY
Thomas Geffroy Doctorant (Université Bordeaux)

É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. ⟨NNT : 2017BORD0848⟩. ⟨tel-01827245⟩


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