Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings / [electronic resource] :
edited by Doron A. Peled, Yih-Kuen Tsay.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005.
- v.: digital
- Lecture Notes in Computer Science, 3707 0302-9743 ; .
9783540319696
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