 |
 |
Doctorant
INRIA
Toccata
Tel : 01 72 92 59 97
Fax :
Bureau :
Page personnelle : http://www.lri.fr/~hubert
Courrier électronique : hubert@lri.fr |
Activités de recherche - Preuve de programme
Logiciels et brevets - Caduceus : Outil Caduceus de vérification de programmes C
Thèses et habilitations Doctorat - Analyse statique de programmes C
Participations à des contrats - CAT - CIFRE DASSAULT
|