Bin, Eyal.
Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers / [electronic resource] : edited by Eyal Bin, Avi Ziv, Shmuel Ur. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4383 0302-9743 ; . - Lecture Notes in Computer Science, 4383 .
9783540708896
10.1007/978-3-540-70889-6 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
QA76.758
005.1
Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers / [electronic resource] : edited by Eyal Bin, Avi Ziv, Shmuel Ur. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4383 0302-9743 ; . - Lecture Notes in Computer Science, 4383 .
9783540708896
10.1007/978-3-540-70889-6 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
QA76.758
005.1