APA-Zitierstil (7. Ausg.)

Lemberger, T. (2022). Towards cooperative software verification with test generation and formal verification. https://doi.org/10.5282/edoc.32852

Chicago-Zitierstil (17. Ausg.)

Lemberger, Thomas. Towards Cooperative Software Verification with Test Generation and Formal Verification. München, 2022. https://doi.org/10.5282/edoc.32852.

MLA-Zitierstil (9. Ausg.)

Lemberger, Thomas. Towards Cooperative Software Verification with Test Generation and Formal Verification. 2022. https://doi.org/10.5282/edoc.32852.