@book
{TN_libero_mab2,
author = {
International Haifa Verification Conference 1 2005 Haifa
Ur, Shmuel
},
title = {
Hardware and software verification and testing
first International Haifa Verification Conference, Haifa, Israel, November 13 - 16, 2005 ; revised selected papers
},
publisher = {Springer},
isbn = {3540326049},
isbn = {9783540326045},
keywords = {
Computer systems Verification Congresses
,
Computer software Verification Congresses
,
Computer programs Verification Congresses
,
Integrated circuits Verification Congresses
,
Konferenzschrift 2005 Haifa
,
Hardwareverifikation
,
Korrektheit
,
Programmverifikation
,
Softwaretest
,
Multithreading
,
Debugging
,
Programmanalyse
,
System-on-Chip
,
Model Checking
,
Benchmark
,
Software
,
Testen
},
year = {2006},
abstract = {Literaturangaben},
booktitle = {Lecture notes in computer science ; 3875},
address = {
Berlin
},
}