Hardware and software, verification and testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers /

Por International Haifa Verification Conference, Bin, Eyal., Ziv, Avi., Ur, Shmuel.
Publicado em 2007

Hardware and software, verification and testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005: revised selected papers /

Por International Haifa Verification Conference, Ur, Shmuel., Bin, Eyal., Wolfsthal, Yaron.
Publicado em 2006