 |
 |
Doctorant
CNRS
Toccata
Tel : +33 1 72 92 59 70
Fax : +33 1 74 85 42 29
Bureau :
Page personnelle : http://www.lri.fr/~kanig
Courrier électronique : kanig@lri.fr |
Activités de recherche
- Preuve de programme
Publications
Projets
- Toccata
Thèses et habilitations
Doctorat - Spécification et preuve de programmes d'ordre supérieur
|
