TY  - JOUR
T1  - Application of the methodology combined formal method with Object-Oriented technology in E-commerce
JF  - Journal of Computer Engineering
Y1  - 2002
A1  - Liangxiu Han
VL  - 29
IS  - z1
ER  -