Temps de lecture : 1 minute
Rencontrez Marie DUFLOT-KREMER, maîtresse de conférences au Loria et enseignante à la FST. Elle nous raconte ses travaux de recherche en vérification formelle de systèmes & ses actions de médiation scientifique sans ordi.
Durée: 00:02:11
