Download Formal Methods And Software Engineering: 12Th International Conference On Formal Engineering Methods, Icfem 2010, Shanghai, China, November 17-19, 2010. Proceedings