APA ציטוט

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

Chicago Style (17th ed.) Citation

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

ציטוט MLA

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