Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings by Huibiao Zhu | Menrva Books | MenrvaBooks