TY - BOOK
AU - TAP 4 2010 Málaga
AU - Fraser, Gordon
AU - Gargantini, Angelo
TI - Tests and proofs 4th international conference, TAP 2010, Málaga, Spain, July 1-2, 2010 ; proceedings
PB - Springer
SN - 3642139760
SN - 9783642139765
KW - Computer software Testing Congresses
KW - Computer software Reliability Congresses
KW - Computer software Quality control Congresses
KW - Konferenzschrift 2010 Málaga
KW - Softwareentwicklung
KW - Softwaretest
KW - Beweis
KW - Softwaresystem
KW - Model Checking
KW - Formale Methode
PY - 2010
N2 - Literaturangaben
BT - Lecture Notes in Computer Science / Programming and Software Engineering ; 6143
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation