Formal Methods and Software Engineering 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings - Dong, Jin Song; Dong, Jin Song; Woodcock, Jim; Woodcock, Jim (Springer Berlin Heidelberg : Imprint: Springer, 2003)