Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Thèses et habilitations
Production scientifique
Thèse en cours de

Thèse en cours
Equipe : Vérification d'Algorithmes, Langages et Systèmes

De nouveaux réels pour Coq

Début le 03/10/2011
Direction : BOLDO, Sylvie

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

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

Activités de recherche :
   - Formalisation et preuves de programmes numériques
   - Formalisation de langages (de spécification et de programmation) dans les assistants de preuve

Résumé :