Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.