Alglave, J., Kroening, D., Nimal, V., & Tautschnig, M. (2013). Software Verification for Weak Memory via Program Transformation.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումAlglave, J., D. Kroening, V. Nimal, and M. Tautschnig. Software Verification for Weak Memory via Program Transformation. 2013.
MLA (9րդ խմբ.) ՄեջբերումAlglave, J., et al. Software Verification for Weak Memory via Program Transformation. 2013.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.