APA citiranje

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 citiranje

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