APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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