Formal methods and software engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings / - Dong, Jin Song,; Zhu, Huibiao. (Springer,)