APA-Zitierstil (7. Ausg.)

Enea, C., & Lal, A. (2023). Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III (1.). Springer Nature. https://doi.org/10.1007/978-3-031-37709-9

Chicago-Zitierstil (17. Ausg.)

Enea, Constantin, und Akash Lal. Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III. 1. Cham: Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37709-9.

MLA-Zitierstil (9. Ausg.)

Enea, Constantin, und Akash Lal. Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III. 1. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37709-9.