Formal methods and software engineering：13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings

Corporate Authors: IEEE International Conference on Formal Engineering Methods (13th 2011 Durham, England)
Group Author: Qiu Zongyan.; Qin Shengchao.
Published: Springer,
Publication Dates: c2011.