• Computer Aided Verification ;...

*Result*: Computer Aided Verification ; 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I

Title:
Computer Aided Verification ; 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I
Contributors:
Gurfinkel, Arie, Ganesh, Vijay
Source:
Lecture Notes in Computer Science ; ISSN 0302-9743 1611-3349 ; ISBN 9783031656262 9783031656279
Publisher Information:
Springer Nature Switzerland
Publication Year:
2024
Document Type:
*Book* book
Language:
English
ISBN:
978-3-031-65626-2
978-3-031-65627-9
3-031-65626-1
3-031-65627-X
DOI:
10.1007/978-3-031-65627-9
DOI:
10.1007/978-3-031-65627-9.pdf
Availability:
http://dx.doi.org/10.1007/978-3-031-65627-9
https://link.springer.com/content/pdf/10.1007/978-3-031-65627-9.pdf
https://link.springer.com/content/pdf/10.1007/978-3-031-65627-9
Rights:
https://creativecommons.org/licenses/by/4.0 ; https://creativecommons.org/licenses/by/4.0
Accession Number:
edsbas.FCA80846
Database:
BASE