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: 18 septembre 2015 Encadrante : Maria Virginia APONTE (CEDRIC) Directrice de thèse: Véronique VIGUIÉ DONZEAU-GOUGE (CEDRIC) Sujet de thèse: Aide à la preuve automatique de programmes SPARK par génération d'annotations intermédiares
Date de debut de thèse: Non disponible Date soutenance de thèse: 18 septembre 2015 Encadrante : Maria Virginia APONTE (CEDRIC) Directrice de thèse: Véronique VIGUIÉ DONZEAU-GOUGE (CEDRIC) Sujet de thèse: Aide à la preuve automatique de programmes SPARK par génération d'annotations intermédiares