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 > Specification Techniques and Languages > 132-143