Departament: Informática

Àrea: Llenguatges i Sistemes Informàtics

Grup d'investigació: GRUPO DE INVESTIGACIÓN EN INGENIERÍA DEL SOFTWARE

Correu: tuya@uniovi.es

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