53643Programmation, Vérification, et Synthèse de Systèmes Distribués Adéquatement Consistent [En savoir plus]AdeCoDS - ANR-19-CE25-0007
AAPG2019 - 2019

Voir les documents associés 

Exporter

• Export XML
• Export RDF