Automated Technology for Verification and Analysis
Subtitle: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
Publisher: Springer
Published: Aug 16, 2012
Format: paperback
Number of pages: 452
ISBN-13: 9783642333859
Notes: Source title: Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings (Lecture Notes in Computer Science (7561))