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).
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 I".
1
Zurich, Switzerland:
Springer International Publishing,
2023.
Text.