APA (7th ed.) Citation

Beyer, D., Kettl, M., & Lemberger, T. (2024). Decomposing Software Verification using Distributed Summary Synthesis. Proceedings of the ACM on software engineering, 1(FSE), 1307-1329. https://doi.org/10.1145/3660766

Chicago Style (17th ed.) Citation

Beyer, Dirk, Matthias Kettl, and Thomas Lemberger. "Decomposing Software Verification Using Distributed Summary Synthesis." Proceedings of the ACM on Software Engineering 1, no. FSE (2024): 1307-1329. https://doi.org/10.1145/3660766.

MLA (9th ed.) Citation

Beyer, Dirk, et al. "Decomposing Software Verification Using Distributed Summary Synthesis." Proceedings of the ACM on Software Engineering, vol. 1, no. FSE, 2024, pp. 1307-1329, https://doi.org/10.1145/3660766.