Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2010)
A book that constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, that was held in Singapore, in September 2010. It includes 3 invited talks, 21 regular papers and 9 tool papers.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Date of Publication
Computing: Professional & Programming
Lecture Notes in Computer Science
Series Part/Volume Number
eBay Product ID (ePID)
Place of Publication
Country of Publication
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
112 Illustrations, black and white; VIII, 404 p. 112 illus.