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-0010INS - 2012Voir les documents associés Exporter Export XML Export RDF