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

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. Lecture Notes in Computer Science 5394 Springer 2009, ISBN 978-3-642-01701-8 BibTeX

Invited Talks

Regular Papers

Tool Papers

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