Logozzo, Francesco.
Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings / [electronic resource] : edited by Francesco Logozzo, Doron A. Peled, Lenore D. Zuck. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 4905 0302-9743 ; . - Lecture Notes in Computer Science, 4905 .
9783540781639
10.1007/978-3-540-78163-9 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Software Engineering.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings / [electronic resource] : edited by Francesco Logozzo, Doron A. Peled, Lenore D. Zuck. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 4905 0302-9743 ; . - Lecture Notes in Computer Science, 4905 .
9783540781639
10.1007/978-3-540-78163-9 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Software Engineering.
QA76.9.L63 QA76.5913 QA76.63
005.1015113