Liu, Zhiming.
Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings / [electronic resource] : edited by Zhiming Liu, Anders P. Ravn. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5799 0302-9743 ; . - Lecture Notes in Computer Science, 5799 .
9783642047619
10.1007/978-3-642-04761-9 doi
Computer science.
Software engineering.
Computer software.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Software Engineering.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings / [electronic resource] : edited by Zhiming Liu, Anders P. Ravn. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5799 0302-9743 ; . - Lecture Notes in Computer Science, 5799 .
9783642047619
10.1007/978-3-642-04761-9 doi
Computer science.
Software engineering.
Computer software.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Software Engineering.
QA76.9.L63 QA76.5913 QA76.63
005.1015113