TY  - BOOK
AU  - Schulte,Wolfram
AU  - Butler,Michael
ED  - International Symposium on Formal Methods.
TI  - FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings 
SN  - 9783642214370
PY  - 2011///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Logic design
KW  - Information systems
UR  - http://dx.doi.org/10.1007/978-3-642-21437-0
ER  -