Doctorat
Intitulé : Mathématiques
1ère inscription en thèse :
Septembre 2011
École doctorale :
Mathématiques et Informatique de Marseille
Date de soutenance de la thèse :
19 Décembre 2014
Sujet :
Puissance expressive des formalismes circulaires
Directeur de thèse :
LUIGI SANTOCANALE
Co-directeur :
SRECKO BRIEK
Unité de recherche :
LIF - Laboratoire d'Informatique Fondamentale de Marseille
Intitulé de l'équipe :
Modélisation et Vérification