Challenges of software verification. Contributions of the first workshop, CSV, Venice, Italy, May 20, 2022
From MaRDI portal
Publication:6039756
DOI10.1007/978-981-19-9601-6zbMath1515.68022OpenAlexW4385197551MaRDI QIDQ6039756
No author found.
Publication date: 23 May 2023
Published in: Intelligent Systems Reference Library (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-981-19-9601-6
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68Nxx)
This page was built for publication: Challenges of software verification. Contributions of the first workshop, CSV, Venice, Italy, May 20, 2022
