Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers - International Haifa Verification Conference 2005 : Haifa, Israel); Ur, Shmuel; Bin, Eyal.; Wolfsthal, Yaron; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2006)
Keywords: Computer systems -- Verification -- Congresses; Computer software -- Verification -- Congresses; Computer programs -- Verification -- Congresses; Integrated circuits -- Verification -- Congresses