Cita APA

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

Citación estilo Chicago

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

Cita MLA

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