(2024). Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II / edited by Arie Gurfinkel, Vijay Ganesh.
Citazione stile Chigago Style (17a edizione)Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II / Edited by Arie Gurfinkel, Vijay Ganesh. 2024.
Citatione MLA (9a ed.)Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II / Edited by Arie Gurfinkel, Vijay Ganesh. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.