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

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. Lecture Notes in Computer Science 3875 Springer 2006, ISBN 3-540-32604-9 BibTeX

Hardware Verification

Software Testing


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