Hardware and software verification and testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers /

Por HVC 2009 (conferência), Namjoshi, Kedar S., Zeller, Andreas., Ziv, Avi.
Publicado em 2011

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