Département: Sistemas Informáticos y Computación

Faculté: Estudios Estadísticos

Domaine: Lenguajes y Sistemas Informáticos

Groupe de recherche: Complutense Group on Program Analyis and Transformation

Email: jcorreas@ucm.es

Docteur à l Universidad Politécnica de Madrid avec la thèse Análisis y verificación de programas modulares 2008. Dirigée par Dr/a. Germán Puebla Sánchez.