Alglave, J., Kroening, D., Nimal, V., & Tautschnig, M. (2013). Software Verification for Weak Memory via Program Transformation.
Style de citation Chicago (17e éd.)Alglave, J., D. Kroening, V. Nimal, et M. Tautschnig. Software Verification for Weak Memory via Program Transformation. 2013.
Style de citation MLA (9e éd.)Alglave, J., et al. Software Verification for Weak Memory via Program Transformation. 2013.
Attention : ces citations peuvent ne pas être correctes à 100%.