Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > PASCUTTO Clément
About LRI
Mr PASCUTTO Clément
Doctorant
unknown
Verification of Algorithms, Languages and Systems

Tel :
Fax :
Office : 64/PCRI-S

Personal web page :
Email : Clement.Pascutto@lri.fr











Ph.D. dissertations & Faculty habilitations
Thesis in progress   - Vérification dynamique et déductive de programmes OCaml et application à des structures de données distribuées