41518Preuve en Œuvre (Intégration de la preuve dans le développement logiciel) [En savoir plus]ProofInUse - ANR-14-LAB3-0007
LABCOM - 2014

Voir les documents associés 

Exporter

• Export XML
• Export RDF