Cita APA (7th ed.)

(2024). Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III / edited by Arie Gurfinkel, Vijay Ganesh. [electronic resource].

Cita Chicago (17th ed.)

Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III / Edited by Arie Gurfinkel, Vijay Ganesh. [electronic Resource]. 2024.

Cita MLA (9th ed.)

Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III / Edited by Arie Gurfinkel, Vijay Ganesh. [electronic Resource]. 2024.