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.
Chicagoスタイル(17版)引用形式Kroening, D., J. Alglave, V. Nimal, , D. Poetzl. Don’t Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion. Association for Computing Machinery, 2017.
MLA(9版)引用形式Kroening, D., et al. Don’t Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion. Association for Computing Machinery, 2017.
警告: この引用は必ずしも正確ではありません.