Lemberger, T., & Wachowitz, H. (2024, October 27). CoVeriTeam GUI: A No-Code Approach to Cooperative Software Verification. IEEE/ACM International Conference on Automated Software Engineering : [proceedings], 2419-2422. https://doi.org/10.1145/3691620.3695366
Citace podle Chicago (17th ed.)Lemberger, Thomas, a Henrik Wachowitz. "CoVeriTeam GUI: A No-Code Approach to Cooperative Software Verification." IEEE/ACM International Conference on Automated Software Engineering : [proceedings] 27 Oct. 2024: 2419-2422. https://doi.org/10.1145/3691620.3695366.
Citace podle MLA (9th ed.)Lemberger, Thomas, a Henrik Wachowitz. "CoVeriTeam GUI: A No-Code Approach to Cooperative Software Verification." IEEE/ACM International Conference on Automated Software Engineering : [proceedings], 27 Oct. 2024, pp. 2419-2422, https://doi.org/10.1145/3691620.3695366.