Integrating formal verification of parallelization in the PADD/RALE environment

• Autores: Miquel Bertrán i Salvans, Carlos Alberto Durante Rincón, Miquel Porta, Francesc Xavier Babot Pagès, August Climent i Ferrer, Miquel Nicolau
• Localización: VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002) / coord. por Matilde Celma Giménez, Oscar Pastor Acosta, Natalia Juristo Juzgado, Juan José Moreno Navarro, 2002, ISBN 84-688-0206-9, págs. 305-314
• Idioma: inglés
• Texto completo no disponible (Saber más ...)