897Analyse et vérification de logiciels embarqués avec structures de mémoire dynamique [En savoir plus]AVERILES - ANR-05-RNTL-0002
RNTL - 2005

Voir les documents associés 

Exporter

• Export XML
• Export RDF