Département: Informática

Domaine: Lenguajes y Sistemas Informáticos

Groupe de recherche: GRUPO DE INVESTIGACIÓN EN INGENIERÍA DEL SOFTWARE

Email: tuya@uniovi.es

Docteur à l Universidad de Oviedo avec la thèse Especificación y verificación de sistemas reactivos utilizando métodos estructurados y lógica temporal 1995. Dirigée par Dr. José Antonio Corrales González.