APA (7th ed.) Citation

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 (9th ed.) Citation

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

Warning: These citations may not always be 100% accurate.