Spécification et Vérification par Interprétation Abstraite d'Aspects pour la Distribution

Publication
Formalisation des Activités Concurrentes (FAC'07), Toulouse, 15–16 March 2007

Related