APA-Zitierstil (7. Ausg.)

Raad, A., Berdine, J., Dreyer, D., & O'Hearn, P. W. (2022). Concurrent incorrectness separation logic. Proceedings of ACM on programming languages, 6(POPL), 1-29. https://doi.org/10.1145/3498695

Chicago-Zitierstil (17. Ausg.)

Raad, Azalea, Josh Berdine, Derek Dreyer, und Peter W. O'Hearn. "Concurrent Incorrectness Separation Logic." Proceedings of ACM on Programming Languages 6, no. POPL (2022): 1-29. https://doi.org/10.1145/3498695.

MLA-Zitierstil (9. Ausg.)

Raad, Azalea, et al. "Concurrent Incorrectness Separation Logic." Proceedings of ACM on Programming Languages, vol. 6, no. POPL, 2022, pp. 1-29, https://doi.org/10.1145/3498695.