Estudio de la verificación de propiedades de programas funcionales de las pruebas manuales al uso de asistentes de pruebas 2004
Universidade da Coruña
