TY -
GEN
AU - Bin, Eyal
AU - Ur, Shmuel
AU - Ziv, Avi
TI -
Hardware and Software, Verification and Testing
Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers
PB - Springer Berlin Heidelberg
SN - 9783540708896
KW - Logic design
KW - Computer Science
KW - Computer science
KW - Software engineering
KW - Compilers (Computer programs).
KW - Konferenzschrift 2006 Haifa
KW - Hardwareverifikation
KW - Korrektheit
KW - Programmverifikation
KW - Softwaretest
KW - Multithreading
KW - Debugging
KW - Programmanalyse
KW - System-on-Chip
KW - Model Checking
KW - Benchmark
PY - 2007
BT - Lecture Notes in Computer Science ; 4383
BT - SpringerLink ; Bücher
CY - Berlin, Heidelberg
ER -