Fran├žais Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > HERMS Paolo
About LRI
Mr HERMS Paolo

Warning: this member left the laboratory on 31/12/2012
 
HERMS Doctorant
INRIA
Toccata

Tel : 01 72 92 59 97
Fax :
Office : 68/PCRI-S

Personal web page : www.lri.fr/~herms
Email : Paolo.Herms@lri.fr



Joint Inria project teams
   - Toccata








Ph.D. dissertations & Faculty habilitations
Ph.D   - Certification of a Tool Chain for Deductive Program Verification