Spécifications, contraintes et preuves new
Révision datée du 15 décembre 2015 à 12:29 par David.cazier (discussion | contributions) (Page créée avec « Bilan 2011 à mi-2016 et prospective du thème Spécifications, contraintes et preuves en géométrie »)
Bilan 2011 à mi-2016 et prospective du thème Spécifications, contraintes et preuves en géométrie