in PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS in SEFM
Pages: 164-173 (10)
Conference
2Nd International Conference on Software Engineering and Formal Methods, Date: SEP 28-30, 2004, Location: Beijing, PEOPLES R CHINA, Sponsors: IEEE Comp Soc, Tech Comm Complex Comp, UNU IIST, Peking Univ, Chinese Acad Sci, Acad Div