APA (7th ed.) Citation

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 Style (17th ed.) Citation

Lemberger, Thomas, and 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 (9th ed.) Citation

Lemberger, Thomas, and 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.

Warning: These citations may not always be 100% accurate.