Automated technology for verification and analysis. 20th international symposium, ATVA 2022, virtual event, October 25--28, 2022. Proceedings

DOI10.1007/978-3-031-19992-9MaRDI QIDQ2106183zbMATH OpenOpenAlexFDO

Authors

Publication date 8 December 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-19992-9

Mathematics Subject Classification ID

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)

Recommendations

• Automated technology for verification and analysis. 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18--22, 2021. Proceedings
• Automated technology for verification and analysis. 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19--23, 2020. Proceedings
• Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28--31, 2019. Proceedings
• Automated technology for verification and analysis. 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7--10, 2018. Proceedings
• Automated technology for verification and analysis. 10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3--6, 2012. Proceedings
• Automated technology for verification and analysis. 15th international symposium, ATVA 2017, Pune, India, October 3--6, 2017. Proceedings
• Automated technology for verification and analysis. 14th international symposium, ATVA 2016, Chiba, Japan, October 17--20, 2016. Proceedings
• Automated technology for verification and analysis. 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
• Automated technology for verification and analysis. 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11--14, 2011. Proceedings
• Automated technology for verification and analysis. 13th international symposium, ATVA 2015, Shanghai, China, October 12--15, 2015. Proceedings

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)