Fiche d'un projet ANR

 35708Une plate-forme mécanisée et basée sur la preuve pour la vérification d'obligations de preuve B [En savoir plus]BWare - ANR-12-INSE-0010
INS - 2012