APA (7th ed.) Citation

International Conference on Computer-Aided Verification Haifa, Shoham, S., & Vizel, Y. (2022). Computer aided verification: 34th International Conference, CAV 2022 Haifa, Israel, August 7-10, 2022 : proceedings, part I. Springer. https://doi.org/10.1007/978-3-031-13185-1

Chicago Style (17th ed.) Citation

International Conference on Computer-Aided Verification Haifa, Sharon Shoham, and Yakir Vizel. Computer Aided Verification: 34th International Conference, CAV 2022 Haifa, Israel, August 7-10, 2022 : Proceedings, Part I. Cham, Switzerland: Springer, 2022. https://doi.org/10.1007/978-3-031-13185-1.

MLA (9th ed.) Citation

International Conference on Computer-Aided Verification Haifa, et al. Computer Aided Verification: 34th International Conference, CAV 2022 Haifa, Israel, August 7-10, 2022 : Proceedings, Part I. Springer, 2022. https://doi.org/10.1007/978-3-031-13185-1.