Saila: Informática

Eremua: Lengoaia eta Sistema Informatikoak

E-maila: 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. Tesiaren zuzendaria Dr/a. Víctor Guillermo García García.