Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Doron Peled Yih-Kuen Tsay Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings 3707 2005 3-540-29209-8 ATVA Lecture Notes in Computer Science Springer db/conf/atva/atva2005.html