Verifying safety properties of concurrent heap-manipulating programs

• Autores: Eran Yahav, Mooly Sagiv
• Localización: ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 32, Nº 5, 2010, pág. 18
• Idioma: inglés
• Texto completo no disponible (Saber más ...)