APA Style
Shoham, S., Vizel, Y. (2022).
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II (1).
Cham:
Springer Cham.
MLA Style
Shoham, Sharon., Vizel, Yakir.
"Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II".
1
Cham:
Springer Cham,
2022.
Text.