Claudio de la Riva, Javier Tuya, José Ramón de Diego. Generación Automática y Paralela de Entornos en la Verificación de Componentes Software. In Ernesto Pimentel, Nieves R. Brisaboa, Jaime Gómez, editors, VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante. pages 35-46, 2003.
Abstract is missing.