Automated Technology for Verification and Analysis

6. ATVA 2008: Seoul, Korea

Sung Deok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan (Eds.): Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings. Lecture Notes in Computer Science 5311 Springer 2008, ISBN 978-3-540-88386-9
Contents BibTeX

5. ATVA 2007: Tokyo, Japan

Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura (Eds.): Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings. Lecture Notes in Computer Science 4762 Springer 2007, ISBN 978-3-540-75595-1
Contents BibTeX

4. ATVA 2006: Beijing, China

Susanne Graf, Wenhui Zhang (Eds.): Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Lecture Notes in Computer Science 4218 Springer 2006, ISBN 3-540-47237-1
Contents BibTeX

3. ATVA 2005: Taipei, Taiwan

Doron Peled, Yih-Kuen Tsay (Eds.): Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings. Lecture Notes in Computer Science 3707 Springer 2005, ISBN 3-540-29209-8
Contents BibTeX - ATVA 2005 Home Page

2. ATVA 2004: Taipei, Taiwan

Farn Wang (Ed.): Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings. Lecture Notes in Computer Science 3299 Springer 2004, ISBN 3-540-23610-4
Contents BibTeX