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
Chicago-Zitierstil (17. Ausg.)Lemberger, Thomas, und 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.
MLA-Zitierstil (9. Ausg.)Lemberger, Thomas, und 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.