Ur, Shmuel.
Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / [electronic resource] : edited by Shmuel Ur, Eyal Bin, Yaron Wolfsthal. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 3875 0302-9743 ; . - Lecture Notes in Computer Science, 3875 .
9783540326052
10.1007/11678779 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 First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / [electronic resource] : edited by Shmuel Ur, Eyal Bin, Yaron Wolfsthal. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 3875 0302-9743 ; . - Lecture Notes in Computer Science, 3875 .
9783540326052
10.1007/11678779 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
QA76.758
005.1