 |
 |
ATER
IUT Sceaux
Toccata
Tel : +33 1 72 92 59 95
Fax : +33 1 74 85 42 29
Bureau : 39/PCRI-S
Page personnelle : http://www.lri.fr/~uwendi/
Courrier électronique : uwendi@lri.fr |
Activités de recherche
- Vérification
- Preuve de programme
- Méthodes Formelles de Génie Logiciel
Projets
- Toccata
Thèses et habilitations
Thèse en cours - Towards certified libraries
|
