APA (7th ed.) Citation

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 Style (17th ed.) Citation

Le, Quang Loc, Azalea Raad, Jules Villard, Josh Berdine, Derek Dreyer, and 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 (9th ed.) Citation

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.