Yaron [Editor]; Books
Hardware And Software, Verification And Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
By Ur, Shmuel Ur, Shmuel [Editor]; Bin, Eyal [Editor]; Wolfsthal, Yaron [Editor];, International Haifa Verification Conference
This book constitutes the refereed post-proceedings of the First International Conference on Hardware Verification, Software Testing, and PADTAD held in November 2005. The conference combines the s...
Read More