APA Style

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

MLA Style

Enea, Constantin., Lal, Akash. "Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III". : Springer Nature, 2023. Text.