Haifa Verification Conference
8. Haifa Verification Conference 2012: Haifa, Israel
Armin Biere, Amir Nahir, Tanja E. J. Vos (Eds.): Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers. Springer 2013 Lecture Notes in Computer Science 7857 ISBN 978-3-642-39610-6 [ contents ]
7. Haifa Verification Conference 2011: Haifa, Israel
Kerstin Eder, João Lourenço, Onn Shehory (Eds.): Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers. Springer 2012 Lecture Notes in Computer Science 7261 ISBN 978-3-642-34187-8 [ contents ]
6. Haifa Verification Conference 2010: Haifa, Israel
Sharon Barner, Ian G. Harris, Daniel Kroening, Orna Raz (Eds.): Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers. Springer 2011 Lecture Notes in Computer Science 6504 ISBN 978-3-642-19582-2 [ contents ]
5. Haifa Verification Conference 2009: Haifa, Israel
Kedar S. Namjoshi, Andreas Zeller, Avi Ziv (Eds.): Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers. Springer 2011 Lecture Notes in Computer Science 6405 ISBN 978-3-642-19236-4 [ contents ]
4. Haifa Verification Conference 2008: Haifa, Israel
Hana Chockler, Alan J. Hu (Eds.): Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings. Springer 2009 Lecture Notes in Computer Science 5394 ISBN 978-3-642-01701-8 [ contents ]
3. Haifa Verification Conference 2007: Haifa, Israel
Karen Yorav (Ed.): Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings. Springer 2008 Lecture Notes in Computer Science 4899 ISBN 978-3-540-77964-3 [ contents ]
2. Haifa Verification Conference 2006: Haifa, Israel
Eyal Bin, Avi Ziv, Shmuel Ur (Eds.): Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers. Springer 2007 Lecture Notes in Computer Science 4383 ISBN 978-3-540-70888-9 [ contents ]
1. Haifa Verification Conference 2005: Haifa, Israel
Shmuel Ur, Eyal Bin, Yaron Wolfsthal (Eds.): Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers. Springer 2006 Lecture Notes in Computer Science 3875 ISBN 3-540-32604-9 [ contents ]



