Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Dissertations & habilitations
Research results
Thesis in progress de

Thesis in progress
Group : Verification of Algorithms, Languages and Systems

De nouveaux réels pour Coq

Starts on 03/10/2011
Advisor : BOLDO, Sylvie

Funding :
Affiliation : Université Paris-Saclay
Laboratory : LRI-TOCCATA

Defended on , committee :

Research activities :
   - Formalisation and Proof of Numerical Programs
   - Formalisation of (Specification and Programming) Languages in Proof Assistants

Abstract :