Automated Technology for Verification and Analysis
Cha, Sungdeok (Steve).
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
QA76.9.A96 / C3 2008
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
QA76.9.A96 / C3 2008