48448Vérification de Machines Abstraites pour les Systèmes d'Exploitation [En savoir plus]VeriAMOS - ANR-18-CE25-0010
AAPG2018 - 2018

Voir les documents associés 

Exporter

• Export XML
• Export RDF