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

ATTENTION : ce membre a quitté le laboratoire le 30/06/2008
 
Doctorant
Université Paris-Sud
Toccata

Tel : 0172925997
Fax :
Bureau :

Page personnelle :
Courrier électronique : nrousset@lri.fr









Logiciels et brevets
   - Krakatoa : Outil Krakatoa de vérification de programmes Java


Thèses et habilitations
Doctorat   - Automatisation de la Spécification et de la Vérification d'applications Java Card