Peled, Doron A.
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 Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3707 0302-9743 ; . - Lecture Notes in Computer Science, 3707 .
9783540319696
10.1007/11562948 doi
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.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
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 Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3707 0302-9743 ; . - Lecture Notes in Computer Science, 3707 .
9783540319696
10.1007/11562948 doi
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.
QA76.9.L63 QA76.5913 QA76.63
005.1015113