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