Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Thèses et habilitations
Production scientifique
Thèse en cours de CLOCHARD Martin
CLOCHARD Martin
Thèse en cours
Equipe : Vérification d'Algorithmes, Langages et Systèmes

Un langage unique pour à la fois développer des programmes et les prouver

Début le 14/09/2013
Direction : MARCHÉ, Claude

Financement : ENS
Etablissement d'inscription : Université Paris-Sud
Lieu de déroulement : LRI - VALS

Soutenue le 01/01/1970 devant le jury composé de :

Activités de recherche :
   - Vérification déductive de programmes

Résumé :