Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings

Chris George Huaikou Miao Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings ICFEM Lecture Notes in Computer Science 2495 Springer 2002 3-540-00029-1 db/conf/icfem/icfem2002.html