Alglave, J., Kroening, D., Nimal, V., & Tautschnig, M. (2013). Software Verification for Weak Memory via Program Transformation.
Lua i Stíl Chicago (17ú heag.)Alglave, J., D. Kroening, V. Nimal, agus M. Tautschnig. Software Verification for Weak Memory via Program Transformation. 2013.
Lua MLA (9ú heag.)Alglave, J., et al. Software Verification for Weak Memory via Program Transformation. 2013.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.