Emerson, E. Allen.
Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings / [electronic resource] : edited by E. Allen Emerson, Kedar S. Namjoshi. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 3855 0302-9743 ; . - Lecture Notes in Computer Science, 3855 .
9783540316220
10.1007/11609773 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings / [electronic resource] : edited by E. Allen Emerson, Kedar S. Namjoshi. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 3855 0302-9743 ; . - Lecture Notes in Computer Science, 3855 .
9783540316220
10.1007/11609773 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
QA76.9.L63 QA76.5913 QA76.63
005.1015113