Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > KANIG Johannes
Présentation
M. KANIG Johannes

ATTENTION : ce membre a quitté le laboratoire le 30/11/2010
 
KANIG 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