APA (7th ed.) Citation

Beyer, D., Kanav, S., & Wachowitz, H. (2023). CoVeriTeam Service: Verification as a Service. ICSE: International Conference on Software Engineering, 21. https://doi.org/10.1109/ICSE-Companion58688.2023.00017

Chicago Style (17th ed.) Citation

Beyer, Dirk, Sudeep Kanav, and Henrik Wachowitz. "CoVeriTeam Service: Verification as a Service." ICSE: International Conference on Software Engineering 2023: 21. https://doi.org/10.1109/ICSE-Companion58688.2023.00017.

MLA (9th ed.) Citation

Beyer, Dirk, et al. "CoVeriTeam Service: Verification as a Service." ICSE: International Conference on Software Engineering, 2023, p. 21, https://doi.org/10.1109/ICSE-Companion58688.2023.00017.