Departament: Informática

Àrea: Llenguatges i Sistemes Informàtics

Correu: oliver@uniovi.es

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