
Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II
By: Arie Gurfinkel (Editor), Vijay Ganesh (Editor)
eBook | 24 July 2024
At a Glance
eBook
$0.00
Instant Digital Delivery to your Kobo Reader App
ISBN: 9783031656309
ISBN-10: 303165630X
Series: Springer Nature Proceedings Computer Science : Book 2
Published: 24th July 2024
Format: ePUB
Language: English
Publisher: Springer Nature Switzerland
Volume Number: 2
























