Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings - Lau, Kung-Kiu.; Lau, Kung-Kiu.; Banach, Richard.; Banach, Richard. (Springer Berlin Heidelberg : Imprint: Springer, 2005)