dblp.uni-trier.de www.uni-trier.de

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. Lecture Notes in Computer Science 4383 Springer 2007, ISBN 978-3-540-70888-9 BibTeX

Hardware Verification Track

Tools Track

Software Testing Track

Copyright © Sat May 16 23:15:30 2009 by Michael Ley (ley@uni-trier.de)