Departamento: Informática

Área: Lenguajes y Sistemas Informáticos

Email: oliver@uniovi.es

Doctor por la Universidad de Oviedo con la tesis Modelización de un sistema operativo multipropósito especificación formal en estelle 1993. Dirigida por Dr/a. Víctor Guillermo García García.