Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
Description
This book constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, held in Singapore, in September 2010. The book includes 3 invited talks, 21 regular papers and 9 tool papers.
Keywords
ComputersSoftware Development & EngineeringProgrammingNetworkingHardwareProgramming LanguagesInformation Technology
2010Book
Author(s)Ahmed Bouajjani
PublisherSpringer Science & Business Media
ISBN9783642156427
LanguageEnglish
