RICARDO VICENTE
PEÑA MARÍ
Profesor emérito
Saila: Sistemas Informáticos y Computación
Fakultatea: Informática
Eremua: Lengoaia eta Sistema Informatikoak
Ikerketa taldea: Diseño y análisis formal de sistemas de software
E-maila: ricardop@ucm.es