Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > ROUSSET Nicolas
About LRI
Mr ROUSSET Nicolas

Warning: this member left the laboratory on 30/06/2008
 
Doctorant
Université Paris-Saclay
Toccata

Tel : 0172925997
Fax :
Office :

Personal web page :
Email : nrousset@lri.fr









Software & Patents
   - Krakatoa: Krakatoa Tool for Java Program Verification


Ph.D. dissertations & Faculty habilitations
Ph.D   - Automating Specification and Verification of JavaCard applications