Mechanically verified proof obligations for Linearizability

• Autores: John Derrick, Gerhard Schellhorn, Heike Wehrheim
• Localización: ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 33, Nº 1, 2011, pág. 4
• Idioma: inglés
• Texto completo no disponible (Saber más ...)