Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > PARREIRA PEREIRA Mario
About LRI
Mr PARREIRA PEREIRA Mario

Warning: this member left the laboratory on 01/05/2019
 
Doctorant
Université Paris-Sud
Verification of Algorithms, Languages and Systems

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

Personal web page : https://www.lri.fr/~parreira
Email : Mario.Parreira-Pereira@lri.fr











Ph.D. dissertations & Faculty habilitations
Ph.D   - Tools and Techniques for the Verification of Modular Stateful Code