Automated Technology For Verification And Analysis: 8th International Symposium, Atva 2010, Singapore, September 21-24, 2010, Proceedings (lecture Notes In Computer Science)
by Ahmed Bouajjani /
2010 / English / PDF
6 MB Download
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
