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
Citace podle Chicago (17th ed.)Beyer, Dirk, Matthias Kettl, a 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.
Citace podle MLA (9th ed.)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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..