Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > CLOCHARD Martin
About LRI
Mr CLOCHARD Martin

Warning: this member left the laboratory on 31/03/2018
 
Doctorant
INRIA
Verification of Algorithms, Languages and Systems

Tel : 0169157236
Fax :
Office : 68/PCRI-S

Personal web page :
Email : Martin.Clochard@lri.fr

Research activities
   - Deductive Verification of Programs


Joint Inria project teams
   - Toccata








Ph.D. dissertations & Faculty habilitations
Ph.D   - Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels