Lucio, Paqui (Nombre Persona)

Machine generated authority record.

Work cat.: (UCACUE): Montse, Maritxalar autor 57089, Especificacion, verificacion y derivacion formal de programas, 2015