Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Namjoshi, Kedar S. (Editor), Yoneda, Tomohiro (Editor), Higashino, Teruo (Editor), Okamura, Yoshio (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Series: Lecture Notes in Computer Science, 4762
• Subjects: Computer science.; Computer communication systems.; Special purpose computers.; Software engineering.; Computer logic.; Computers.; Computer-aided engineering.; Computer Science.; Computer-Aided Engineering (CAD, CAE) and Design.; Logics and Meanings of Programs.; Information Systems and Communication Service.; Computer Communication Networks.; Special Purpose and Application-Based Systems.; Software Engineering.