APA Style
ENEA, C., LAL, A. (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
ENEA, Constantin., LAL, Akash.
"Computer Aided Verification; 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II".
Zurich, Switzerland:
Springer International Publishing,
2023.
Text.