APA Style
LAL, A., ENEA, C. (2023).
Computer Aided Verification; 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II .
Zurich, Switzerland:
Springer International Publishing.
MLA Style
LAL, Akash., ENEA, Constantin.
"Computer Aided Verification; 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II".
Zurich, Switzerland:
Springer International Publishing,
2023.
Text.