Méthodes formelles - M2 MIC (2018--2019)

Equipe enseignante

François Laroussinie et Arnaud Sangnier.

Actualités

Le premier cours aura lieu VENDREDI 11 JANVIER à 9h45 en salle 2004 (bâtiment Sophie Germain).


Documents


Email: francois.laroussinie[at]univ-paris-diderot.fr