Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Dissertations & habilitations
Research results
Thesis in progress de GALLOIS-WONG Diane
GALLOIS-WONG Diane
Thesis in progress
Group : Verification of Algorithms, Languages and Systems

Vérification formelle et filtres numériques

Starts on 01/10/2017
Advisor : BOLDO, Sylvie
[HILAIRE Thibault]

Funding : Autre financement à préciser
Affiliation : Université Paris-Sud
Laboratory : LRI - VALS

Defended on 00/00/0000, committee :

Research activities :
   - Formalisation and Proof of Numerical Programs

Abstract :