author = { Ur, Shmuel AND Bin, Eyal AND Wolfsthal, Yaron },

title = { Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers },

publisher = {Springer Berlin Heidelberg},

isbn = {9783540326052},

keywords = { Logic design , Computer Science , Computer software Verification Congresses , Integrated circuits Verification Congresses , Computer programs Verification Congresses , Computer systems Verification Congresses , Computer science , Software engineering , Compilers (Computer programs). , Konferenzschrift 2005 Haifa , Hardwareverifikation , Korrektheit , Programmverifikation , Softwaretest , Multithreading , Debugging , Programmanalyse , System-on-Chip , Model Checking , Benchmark , Software , Testen },

year = {2006},

abstract = {Lizenzpflichtig},

booktitle = {Lecture Notes in Computer Science ; 3875},

booktitle = {SpringerLink ; Bücher},

address = { Berlin, Heidelberg },