PABLO JAVIER
TUYA GONZALEZ
Catedrático de Universidad
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.