APA Style

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

MLA Style

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