Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings - Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura ((Lecture Notes in Computer Science))