Department: Informática

Area: Computer Languages and Systems

Research group: GIIS Grupo de Investigación en Ingeniería del Software

Email: claudio@uniovi.es

Doctor by the Universidad de Oviedo with the thesis Obtención automática del entorno en la verificación modular de sistemas reactivos 2004. Supervised by Dr. Pablo Javier Tuya González.