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: 16 novembre 2017 Directrice de thèse: Catherine DUBOIS (CEDRIC) Sujet de thèse: Development of correct by construction variants: managing variants of specifications together with their proofs
Date de debut de thèse: Non disponible Date soutenance de thèse: 16 novembre 2017 Directrice de thèse: Catherine DUBOIS (CEDRIC) Sujet de thèse: Development of correct by construction variants: managing variants of specifications together with their proofs