Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006 Haifa, Israel, October 23-26, 2006 ... Notes in Computer Science, 4383, Band 4383)
Ein Sammelband aus der zweiten Haifa-Verifikationskonferenz, der aktuelle Ansätze zur Hardware‑ und Softwareprüfung zusammenführt; praxisorientie ...