TY - BOOK
AU - FM 17 2011 Limerick
AU - Butler, Michael
AU - Schulte, Wolfram
TI - FM 2011: formal methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011; proceedings
PB - Springer
SN - 9783642214363
SN - 3642214363
KW - Paperback / softback
KW - Research
KW - Z specification language
KW - formal software testing
KW - formal verification
KW - model-based systems design
KW - safety-critical systems
KW - satisfiability
KW - systems validation
KW - Konferenzschrift 2011 Limerick, Shannon
KW - Formale Methode
PY - 2011
N2 - Literaturangaben
BT - Lecture Notes in Computer Science / Programming and Software Engineering ; 6664
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation