Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno

• Autores: Claudio de la Riva Álvarez , Pablo Javier Tuya González , Jose Ramón de Diego Rodriguez
• Localización: ACTAS DE LAS V JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS: JISBD 2000 / coord. por Carlos Delgado Kloos , Esperanza Marcos Martínez , José M. Marques, 2000, ISBN 84-8448-065-8, págs. 53-58
• Idioma: español
• Texto completo no disponible (Saber más ...)