29913Formal proOfs of Scientific compuTation programs [En savoir plus]FOST - ANR-08-BLAN-0246
BLANC - 2008

Voir les documents associés 

Exporter

• Export XML
• Export RDF