Directrice du GDR : Caroline Fontaine (caroline.fontaine@lsv.fr)
Laboratoire en Méthodes Formelles
ENS Paris-Saclay
4 avenue des sciences
91190 Gif-sur-Yvette
France
Aller au contenu principal
