Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > PARREIRA PEREIRA Mario
Présentation
M. PARREIRA PEREIRA Mario

ATTENTION : ce membre a quitté le laboratoire le 01/05/2019
 
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
Doctorat   - Outils et techniques pour la vérification de programmes impératives modulaires