TY - BOOK
AU - TAP 5 2011 Zürich
AU - Gogolla, Martin
AU - Wolff, Burkhart
TI - Tests and proofs 5th international conference, TAP 2011, Zürich, Switzerland, June 30-July 1, 2011 ; proceedings
PB - Springer
SN - 3642217672
SN - 9783642217678
KW - Computer software Testing Congresses
KW - Computer software Reliability Congresses
KW - Computer software Quality control Congresses
KW - Konferenzschrift 2011 Zürich
KW - Softwareentwicklung
KW - Softwaretest
KW - Beweis
KW - Softwaresystem
KW - Programmverifikation
KW - Model Checking
KW - Formale Methode
PY - 2011
N2 - Literaturangaben
BT - Lecture Notes in Computer Science / Programming and Software Engineering ; 6706
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation