Formal methods and software engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings / - Qin, Shengchao.; Qiu, Zongyan. (Springer,, 2011)