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.