(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].
Citace podle 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.
Citace podle 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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..