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