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