%0
Book
%T
Hardware and software verification and testing
first International Haifa Verification Conference, Haifa, Israel, November 13 - 16, 2005 ; revised selected papers
%A International Haifa Verification Conference 1 2005 Haifa
%A Ur, Shmuel
%I Springer
%@ 3540326049
%@ 9783540326045
%K Computer systems Verification Congresses
%K Computer software Verification Congresses
%K Computer programs Verification Congresses
%K Integrated circuits Verification Congresses
%K Konferenzschrift 2005 Haifa
%K Hardwareverifikation
%K Korrektheit
%K Programmverifikation
%K Softwaretest
%K Multithreading
%K Debugging
%K Programmanalyse
%K System-on-Chip
%K Model Checking
%K Benchmark
%K Software
%K Testen
%D 2006
%X Literaturangaben
%C Springer
%C Berlin