APA-Zitierstil (7. Ausg.)

CAV Online, Lahiri, S. K., & Wang, C. (2020). Computer aided verification: 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings, part II. Springer. https://doi.org/10.1007/978-3-030-53291-8

Chicago-Zitierstil (17. Ausg.)

CAV Online, Shuvendu K. Lahiri, und Chao Wang. Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : Proceedings, Part II. Cham, Switzerland: Springer, 2020. https://doi.org/10.1007/978-3-030-53291-8.

MLA-Zitierstil (9. Ausg.)

CAV Online, et al. Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : Proceedings, Part II. Springer, 2020. https://doi.org/10.1007/978-3-030-53291-8.