Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings - Namjoshi, Kedar.; Namjoshi, Kedar.; Yoneda, Tomohiro.; Yoneda, Tomohiro.; Higashino, Teruo.; Higashino, Teruo.; Okamura, Yoshio.; Okamura, Yoshio. (Springer Berlin Heidelberg : Imprint: Springer, 2007)