Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
0
0
Author Description
Annotation. 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.
Page Count:
404
Publication Date:
2010-09-21
ISBN-10:
3642156436
ISBN-13:
9783642156434
Community Tags
Reader Comments
Share Your Thoughts
No comments yet. Be the first to share your thoughts!