APA (7th ed.) Citation

Enea, C., & Lal, A. (2023). Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I. Springer Nature.

Chicago Style (17th ed.) Citation

Enea, Constantin, and Akash Lal. Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I. Cham: Springer Nature, 2023.

MLA (9th ed.) Citation

Enea, Constantin, and Akash Lal. Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I. Springer Nature, 2023.