Claudio de la Riva, Javier Tuya, José Ramón de Diego. Generación de Restricciones del Entorno para Verificación Modular Utilizando Reglas de Asociación. In Oscar Díaz, Arantza Illarramendi, Mario Piattini, editors, VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 1-23 de Noviembre de 2001, Almagro (Ciudad Real). pages 391-404, 2001.
Abstract is missing.