Automated technology for verification and analysis. 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

DOI10.1007/978-3-642-15643-4MaRDI QIDQ1957657zbMATH OpenOpenAlexFDO

Authors

Publication date 27 September 2010

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

Full work available at URL https://doi.org/10.1007/978-3-642-15643-4

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)

Cited in

(4)

• Automated technology for verification and analysis. 20th international symposium, ATVA 2022, virtual event, October 25--28, 2022. Proceedings
• Automated technology for verification and analysis. 11th international symposium, ATVA 2013, Hanoi, Vietnam, October 15--18, 2013. 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. 6th international symposium, ATVA 2008, Seoul, Korea, October 20--23, 2008. Proceedings

This page was built for publication: Automated technology for verification and analysis. 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1957657)