Hits:
Impact Factor:0.0
Journal:Proceedings of 6th International Conference on Formal Engineering Methods (ICFEM 2004)
Note:2004
Page Number:115-130
Translation or Not:no
First Author:Wei Zhang
All the Authors:Hong Mei, Haiyan Zhao,Wei Zhang
Date of Publication:2004-11-01