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

Thesis in progress
Group :

ROQUES.01-10-1990

Starts on 01/10/1990
Advisor : BIDOIT, Michel

Funding :
Affiliation : Université Paris-Sud 11 vide
Laboratory :

Defended on , committee :

Research activities :
   - Formal Methods for Software Engineering

Abstract :