Department: Informática

Area: Computer Languages and Systems

Email: albizu@uniovi.es

Doctor by the Universidad de Oviedo with the thesis Especificación de sistemas reactivos distribuidos utilizando estelle síncrono 2002. Supervised by Dr. Pablo Javier Tuya González, Dr. Oliverio González Alonso.