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

Pierre-Loic Garoche, Marc Pantel, Xavier Thirioux
January 2007
PDF Cite
Type
Conference paper
Publication
Formalisation des Activités Concurrentes (FAC'07), Toulouse, 15–16 March 2007
"workshop" "own"
Xavier Thirioux
Xavier Thirioux
Professor at ISAE-Supaero

Related