Beyer, D., Haltermann, J., Lemberger, T., & Wehrheim, H. (2022, May). Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR. 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE), 536-548. https://doi.org/10.1145/3510003.3510064
Citace podle Chicago (17th ed.)Beyer, Dirk, Jan Haltermann, Thomas Lemberger, a Heike Wehrheim. "Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR." 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) May. 2022: 536-548. https://doi.org/10.1145/3510003.3510064.
Citace podle MLA (9th ed.)Beyer, Dirk, et al. "Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR." 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE), May. 2022, pp. 536-548, https://doi.org/10.1145/3510003.3510064.