Departamento: Informática

Área: Lenguajes y Sistemas Informáticos

Grupo de investigación: GRUPO DE INVESTIGACIÓN EN INGENIERÍA DEL SOFTWARE

Email: claudio@uniovi.es

Doctor por la Universidad de Oviedo con la tesis Obtención automática del entorno en la verificación modular de sistemas reactivos 2004. Dirigida por Dr. Pablo Javier Tuya González.