35705Combinaison d'approches formelles pour l'étude d'invariants numériques [En savoir plus]CAFEIN - ANR-12-INSE-0007
INS - 2012

Voir les documents associés 

Exporter

• Export XML
• Export RDF