Informations professionnelles
Statut: Docteur ED
ED: EDITE
Unité de recherche: CEDRIC (Ancien membre EDITE)
Date de debut de thèse: Non disponible Date soutenance de thèse: 6 décembre 2013 Directrice de thèse: Catherine DUBOIS (CEDRIC) Sujet de thèse: Un outil de vérification formelle pour la modélisation de mathématiques effectives
Date de debut de thèse: Non disponible Date soutenance de thèse: 6 décembre 2013 Directrice de thèse: Catherine DUBOIS (CEDRIC) Sujet de thèse: Un outil de vérification formelle pour la modélisation de mathématiques effectives