APA Style
Shoham, Sharon, Vizel, Yakir. (2022).
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I (1).
Switzerland:
Springer Cham.
Chicago Style
Shoham, Sharon, Vizel, Yakir.
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.
MLA Style
Shoham, Sharon, Vizel, Yakir.
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.
Turabian Style
Shoham, Sharon, Vizel, Yakir.
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.