Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings - Peled, Doron A.; Tsay, Yih-Kuen.; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005)
Keywords: Computer science; Computer Communication Networks; Software engineering; Logic design; Information systems; Computer Science; Logics and Meanings of Programs; Computer Communication Networks; Special Purpose and Application-Based Systems; Software Engineering; Programming Languages, Compilers, Interpreters; Information Systems and Communication Service