4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Applications > 371-382