Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > PARREIRA PEREIRA Mario
Présentation
M. PARREIRA PEREIRA Mario
Doctorant
Université Paris-Sud
Vérification d'Algorithmes, Langages et Systèmes

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

Page personnelle : https://www.lri.fr/~parreira
Courrier électronique : Mario.Parreira-Pereira@lri.fr











Thèses et habilitations
Thèse en cours   - A verified graphe library - tools and techniques for the verification of modular higher order programs