Le, Q. L., Raad, A., Villard, J., Berdine, J., Dreyer, D., & O'Hearn, P. W. (2022). Finding real bugs in big programs with incorrectness logic. Proceedings of ACM on programming languages, 6(OOPSLA1), 1-27. https://doi.org/10.1145/3527325
Chicago-Zitierstil (17. Ausg.)Le, Quang Loc, Azalea Raad, Jules Villard, Josh Berdine, Derek Dreyer, und Peter W. O'Hearn. "Finding Real Bugs in Big Programs with Incorrectness Logic." Proceedings of ACM on Programming Languages 6, no. OOPSLA1 (2022): 1-27. https://doi.org/10.1145/3527325.
MLA-Zitierstil (9. Ausg.)Le, Quang Loc, et al. "Finding Real Bugs in Big Programs with Incorrectness Logic." Proceedings of ACM on Programming Languages, vol. 6, no. OOPSLA1, 2022, pp. 1-27, https://doi.org/10.1145/3527325.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.