From LaBRI - Laboratoire Bordelais de Recherche en Informatique

MF: MF

Teams
Formal Methods
Head : J. LerouxMembres Publications




Research themes :

The Formal Methods team is active in many areas of theoretical computer science and its applications. Its work is grouped in two themes:



Research report 2009-2014 (PDF)



----

Events:


Software:


Projects:


Seminar:

Récupéré sur https://www3.labri.fr/index.php?n=MF.MF
Page mise à jour le 02/03/2017 à 17:18