Verificación de sistemas en lotos - QUEMADA VIVES, JUAN (Director) Doctorando: FERNANDEZ DEL CAMPO, Angel (1987)