TY  - BOOK
AU  - Qiu,Zongyan
AU  - Qin,Shengchao
ED  - International Conference on Formal Engineering Methods.
TI  - Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings 
SN  - 9783642245596
PY  - 2011///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer Communication Networks
KW  - Software engineering
KW  - Computer Software
UR  - http://dx.doi.org/10.1007/978-3-642-24559-6
ER  -