From LaBRI - Laboratoire Bordelais de Recherche en Informatique

MF: MF

Equipes
Méthodes Formelles
Responsable : J. LerouxMembres Publications




Thèmes de recherche :

L'équipe "Méthodes Formelles" est active dans plusieurs domaines de l'informatique fondamentale et de ses applications. Ses travaux sont regroupés en deux thèmes:



Rapport d'activité 2009-2014 (PDF)




Événements :


Logiciels :


Projets :


Séminaires :

Récupéré sur http://www.labri.u-bordeaux.fr/index.php?n=MF.MF
Page mise à jour le 02/03/2017 à 17:18