109456Preuves formelles basées sur des scenarios pour le logiciel concurrent [En savoir plus]SCEPROOF - ANR-23-CE94-0002
AAPG2023 - 2023

Voir les documents associés 

Exporter

• Export XML
• Export RDF