default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHaifa Verification Conference (HVC)
13. Haifa Verification Conference 2017: Haifa, Israel
- Ofer Strichman
, Rachel Tzoref-Brill:
Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings. Lecture Notes in Computer Science 10629, Springer 2017, ISBN 978-3-319-70388-6 [contents]
12. Haifa Verification Conference 2016: Haifa, Israel
- Roderick Bloem, Eli Arbel:
Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings. Lecture Notes in Computer Science 10028, 2016, ISBN 978-3-319-49051-9 [contents]
11. Haifa Verification Conference 2015: Haifa, Israel
- Nir Piterman:
Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. Lecture Notes in Computer Science 9434, Springer 2015, ISBN 978-3-319-26286-4 [contents]
10. Haifa Verification Conference 2014: Haifa, Israel
- Eran Yahav:
Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings. Lecture Notes in Computer Science 8855, Springer 2014, ISBN 978-3-319-13337-9 [contents]
9. Haifa Verification Conference 2013: Haifa, Israel
- Valeria Bertacco, Axel Legay:
Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings. Lecture Notes in Computer Science 8244, Springer 2013, ISBN 978-3-319-03076-0 [contents]
8. Haifa Verification Conference 2012: Haifa, Israel
- Armin Biere, Amir Nahir, Tanja E. J. Vos:
Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers. Lecture Notes in Computer Science 7857, Springer 2013, ISBN 978-3-642-39610-6 [contents]
7. Haifa Verification Conference 2011: Haifa, Israel
- Kerstin Eder, João Lourenço, Onn Shehory:
Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7261, Springer 2012, ISBN 978-3-642-34187-8 [contents]
6. Haifa Verification Conference 2010: Haifa, Israel
- Sharon Barner, Ian G. Harris, Daniel Kroening, Orna Raz:
Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers. Lecture Notes in Computer Science 6504, Springer 2011, ISBN 978-3-642-19582-2 [contents]
5. Haifa Verification Conference 2009: Haifa, Israel
- Kedar S. Namjoshi, Andreas Zeller, Avi Ziv:
Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers. Lecture Notes in Computer Science 6405, Springer 2011, ISBN 978-3-642-19236-4 [contents]
4. Haifa Verification Conference 2008: Haifa, Israel
- Hana Chockler, Alan J. Hu:
Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings. Lecture Notes in Computer Science 5394, Springer 2009, ISBN 978-3-642-01701-8 [contents]
3. Haifa Verification Conference 2007: Haifa, Israel
- Karen Yorav:
Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings. Lecture Notes in Computer Science 4899, Springer 2008, ISBN 978-3-540-77964-3 [contents]
2. Haifa Verification Conference 2006: Haifa, Israel
- Eyal Bin, Avi Ziv, Shmuel Ur:
Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers. Lecture Notes in Computer Science 4383, Springer 2007, ISBN 978-3-540-70888-9 [contents]
1. Haifa Verification Conference 2005: Haifa, Israel
- 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. Lecture Notes in Computer Science 3875, Springer 2006, ISBN 3-540-32604-9 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-05 22:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
