(2024). Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I / edited by Arie Gurfinkel, Vijay Ganesh. [electronic resource].
Chicago Style (17th ed.) CitationComputer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I / Edited by Arie Gurfinkel, Vijay Ganesh. [electronic Resource]. 2024.
MLA (9th ed.) CitationComputer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I / Edited by Arie Gurfinkel, Vijay Ganesh. [electronic Resource]. 2024.
Warning: These citations may not always be 100% accurate.