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 > Component Engineering and Software Architecture > 92-97