APA (7. basım) Alıntı

Alglave, J., Kroening, D., Nimal, V., & Tautschnig, M. (2013). Software Verification for Weak Memory via Program Transformation.

Chicago Style (17. basım) Atıf

Alglave, J., D. Kroening, V. Nimal, ve M. Tautschnig. Software Verification for Weak Memory via Program Transformation. 2013.

MLA (9th ed.) Atıf

Alglave, J., et al. Software Verification for Weak Memory via Program Transformation. 2013.