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-Zitierstil (17. Ausg.)International Conference on Computer-Aided Verification Haifa, Sharon Shoham, und 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-Zitierstil (9. Ausg.)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.