Alglave, J., Kroening, D., Nimal, V., & Tautschnig, M. (2013). Software Verification for Weak Memory via Program Transformation.
Chicago Style (17. basım) AtıfAlglave, J., D. Kroening, V. Nimal, ve M. Tautschnig. Software Verification for Weak Memory via Program Transformation. 2013.
MLA (9th ed.) AtıfAlglave, J., et al. Software Verification for Weak Memory via Program Transformation. 2013.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..