42140Spécification intensive en Coq d'intégration de données orientée sécurité [En savoir plus]DataCert - ANR-15-CE39-0009
AAPG2015 - 2015

Voir les documents associés 

Exporter

• Export XML
• Export RDF