Kroening, D., Alglave, J., Nimal, V., & Poetzl, D. (2017). Don’t sit on the fence: A static analysis approach to automatic fence insertion. Association for Computing Machinery.
Style de citation Chicago (17e éd.)Kroening, D., J. Alglave, V. Nimal, et D. Poetzl. Don’t Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion. Association for Computing Machinery, 2017.
Style de citation MLA (9e éd.)Kroening, D., et al. Don’t Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion. Association for Computing Machinery, 2017.
Attention : ces citations peuvent ne pas être correctes à 100%.