Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings / - Lau, K.-K.; Banach, Richard. (Springer,, 2005)