APA Style

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

MLA Style

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