%0 Book
%A Chris George, Huaikou Miao )eds.(
%T Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings
%U /book/101384900/Formal-methods-and-software-engineering-4th-Inte/