Show simple item record

Computer Aided Verification

36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I

dc.contributor.editorGurfinkel, Arie
dc.contributor.editorGanesh, Vijay
dc.date.accessioned2024-08-13T07:38:19Z
dc.date.available2024-08-13T07:38:19Z
dc.date.issued2024
dc.identifierONIX_20240813_9783031656279_36
dc.identifier.urihttps://library.oapen.org/handle/20.500.12657/92707
dc.description.abstractThis open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024. The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.
dc.languageEnglish
dc.relation.ispartofseriesLecture Notes in Computer Science
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
dc.subject.otherComputer Science
dc.subject.otherInformatics
dc.subject.otherConference Proceedings
dc.subject.otherResearch
dc.subject.otherApplications
dc.titleComputer Aided Verification
dc.title.alternative36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I
dc.typebook
oapen.identifier.doi10.1007/978-3-031-65627-9
oapen.relation.isPublishedBy6c6992af-b843-4f46-859c-f6e9998e40d5
oapen.relation.isFundedBy55197ed3-f9b4-4392-82a5-7f080f2ae1a1
oapen.relation.isbn9783031656279
oapen.relation.isbn9783031656262
oapen.imprintSpringer Nature Switzerland
oapen.series.number14681
oapen.pages498
oapen.place.publicationCham
oapen.grant.number[...]


Files in this item

Thumbnail
Name:
978-3-031-65627-9.pdf
Size:
15.84Mb
Format:
PDF
ISBN:
9783031656279
License:
http://creativecommons.org/lic ...
Webshop link:
https://link.springer.com/978- ...
View/Open

This item appears in the following Collection(s)

Show simple item record