PABLO JAVIER
TUYA GONZALEZ
Catedrático de Universidad
Fachbereich: Informática
Bereich: Computersprachen und Computersysteme
Forschungsgruppe: GRUPO DE INVESTIGACIÓN EN INGENIERÍA DEL SOFTWARE
Email: tuya@uniovi.es
Doktor von der Universidad de Oviedo mit der Dissertation Especificación y verificación de sistemas reactivos utilizando métodos estructurados y lógica temporal 1995. unter der Leitung von Dr. José Antonio Corrales González.