International Conference on Computer-Aided Verification Montreal, Gurfinkel, A., & Ganesh, V. (2024). Computer aided verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024 : proceedings, part II (1st ed. 2024.). Springer. https://doi.org/10.1007/978-3-031-65630-9
Chicago-Zitierstil (17. Ausg.)International Conference on Computer-Aided Verification Montreal, Arie Gurfinkel, und Vijay Ganesh. Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024 : Proceedings, Part II. 1st ed. 2024. Cham, Switzerland: Springer, 2024. https://doi.org/10.1007/978-3-031-65630-9.
MLA-Zitierstil (9. Ausg.)International Conference on Computer-Aided Verification Montreal, et al. Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024 : Proceedings, Part II. 1st ed. 2024. Springer, 2024. https://doi.org/10.1007/978-3-031-65630-9.