Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings (Lecture Notes in Computer Science, 6252) 3642156428 at Amazon | camelcamelcamel.com

The Camels are taking you to the Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings (Lecture Notes in Computer Science, 6252) 3642156428 page at Amazon.

Click here if you are not redirected.