TéléchargeZ les présentations du séminaire du 18 juin 2015 : "La preuve formelle - FramaC" présentées dans les locaux de l’ESME-Sudria à Ivry-sur-Seine (94).
Virgile Prevosto - CEA
Julien Signoles - CEA