Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > BOBOT François
About LRI
Mr BOBOT François

Warning: this member left the laboratory on 31/08/2012
 
Post-doctorant
Université Paris-Sud
Toccata

Tel : 0174854228
Fax :
Office : 32/PCRI-S

Personal web page :
Email : bobot@lri.fr



Joint Inria project teams
   - Toccata








Ph.D. dissertations & Faculty habilitations
Ph.D   - Logique de séparation et vérification déductive