Departamento: Informática

Área: Lenguajes y Sistemas Informáticos

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

Email: tuya@uniovi.es

Doctor por la Universidad de Oviedo con la tesis Especificación y verificación de sistemas reactivos utilizando métodos estructurados y lógica temporal 1995. Dirigida por Dr. José Antonio Corrales González.