Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings / [electronic resource] :
edited by Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
- v.: digital
- Lecture Notes in Computer Science, 5311 0302-9743 ; .
9783540883876
Computer science Computer Communication Networks Software engineering Logic design Information systems Computer Science Logics and Meanings of Programs Information Systems and Communication Service Computer Communication Networks Special Purpose and Application-Based Systems Software Engineering Programming Languages, Compilers, Interpreters