Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

Shmuel Ur Eyal Bin Yaron Wolfsthal Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers 3875 2006 3-540-32604-9 Haifa Verification Conference Lecture Notes in Computer Science Springer db/conf/hvc/hvc2005.html