Comparing Abstract Semantics for Model Checking

• Autores: María del Mar Gallardo Melgarejo, Pedro Merino Gómez, Ernesto Pimentel Sánchez
• Localización: III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 al 14 de noviembre de 2003 / coord. por Juan José Moreno Navarro, Manuel Palomar Sanz, 2003, ISBN MU-2299-2003, pág. 167
• Idioma: inglés
• Texto completo no disponible (Saber más ...)