Analyse statique d'un calcul d'acteur par interprétation abstraite

Publication
Colloque des doctorants de l'EDIT

Related