Department: Informática

Area: Computer Languages and Systems

Email: oliver@uniovi.es

Doctor by the Universidad de Oviedo with the thesis Modelización de un sistema operativo multipropósito especificación formal en estelle 1993. Supervised by Dr. Víctor Guillermo García García.