Department: Sistemas Informáticos y Computación

Faculty: Estudios Estadísticos

Centre/Institute: Instituto Universitario de Evaluación Sanitaria

Area: Computer Languages and Systems

Research group: Design and Testing of Reliable Systems

Email: cpareja@ucm.es

Doctor by the Universidad de Málaga with the thesis Optimización y análisis de especificaciones funcionales un enfoque hacia la automatización 1993. Supervised by Dr. Inmaculada Pérez de Guzmán Molina.