%0
Generic
%T
Hardware and Software, Verification and Testing
Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers
%A Bin, Eyal
%A Ur, Shmuel
%A Ziv, Avi
%I Springer Berlin Heidelberg
%@ 9783540708896
%K Logic design
%K Computer Science
%K Computer science
%K Software engineering
%K Compilers (Computer programs).
%K Konferenzschrift 2006 Haifa
%K Hardwareverifikation
%K Korrektheit
%K Programmverifikation
%K Softwaretest
%K Multithreading
%K Debugging
%K Programmanalyse
%K System-on-Chip
%K Model Checking
%K Benchmark
%D 2007
%C Springer Berlin Heidelberg
%C Berlin, Heidelberg