scientific article; zbMATH DE number 5692658

MaRDI QIDQ3552231zbMATH OpenFDO

Authors

Publication date 14 April 2010

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. 5th international symposium, ATVA 2007 Tokyo, Japan, October 22--25, 2007. Proceedings
• scientific article; zbMATH DE number 5129063
• scientific article; zbMATH DE number 5076008
• Automated technology for verification and analysis. Third international symposium, ATVA 2005, Taipei, Taiwan, October 4--7, 2005. 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. 7th international symposium, ATVA 2009, Macao, China, October 14--16, 2009. 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. 6th international symposium, ATVA 2008, Seoul, Korea, October 20--23, 2008. Proceedings
• Automated technology for verification and analysis. 4th international symposium, ATVA 2006, Beijing, China, October 23--26, 2006. Proceedings
• Automated technology for verification and analysis. 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11--14, 2011. Proceedings

This page was built for publication:

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