APA Style

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

MLA Style

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