Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

Jin Song Dong Jim Woodcock Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings ICFEM Lecture Notes in Computer Science 2885 Springer 2003 3-540-20461-X db/conf/icfem/icfem2003.html