APA Style

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

MLA Style

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