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.