27255Preuves formelles de programmes numériques [En savoir plus]CerPAN - ANR-05-BLAN-0281
BLANC - 2005

Voir les documents associés 

Exporter

• Export XML
• Export RDF