Department: Informática

Area: Computer Languages and Systems

Was part of these groups:

Doctor by the Universidad de Oviedo with the thesis Sistema de verificación de componentes software 2002. Supervised by Dr. Juan Manuel Cueva Lovelle.