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
Citácia podle Chicago (17th ed.)Raad, Azalea, Josh Berdine, Derek Dreyer, a 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.
Citácia podľa MLA (8th ed.)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.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..