RICARDO VICENTE
PEÑA MARÍ
Profesor emérito
Area: Computer Languages and Systems
Research group: FADOSS Diseño y análisis formal de sistemas de software
- Department: Sistemas Informáticos y Computación
- Faculty: Informática