This book constitutes the refereed proceedings of the Third
International Symposium on Automated Technology for Verification
and Analysis, ATVA 2006, held in Beijing, China in October
2006.
The 35 revised full papers presented together with abstracts of
three keynote papers were carefully reviewed and selected from 137
submissions.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!