%0
Generic
%T
Hardware and Software, Verification and Testing
First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
%A Ur, Shmuel
%A Bin, Eyal
%A Wolfsthal, Yaron
%I Springer Berlin Heidelberg
%@ 9783540326052
%K Logic design
%K Computer Science
%K Computer software Verification Congresses
%K Integrated circuits Verification Congresses
%K Computer programs Verification Congresses
%K Computer systems Verification Congresses
%K Computer science
%K Software engineering
%K Compilers (Computer programs).
%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 Lizenzpflichtig
%C Springer Berlin Heidelberg
%C Berlin, Heidelberg