Automated technology for verification and analysis. 20th international symposium, ATVA 2022, virtual event, October 25--28, 2022. Proceedings
From MaRDI portal
Publication:2106183
DOI10.1007/978-3-031-19992-9OpenAlexW4312961284MaRDI QIDQ2106183
Author name not available (Why is that?)
Publication date: 8 December 2022
Published in: (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-031-19992-9
No records found.
This page was built for publication: Automated technology for verification and analysis. 20th international symposium, ATVA 2022, virtual event, October 25--28, 2022. Proceedings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2106183)
