Login / Signup
Ming Zha
Publication Activity (10 Years)
Years Active: 1999-2007
Publications (10 Years): 0
</>
Publications
</>
Xin Liu
,
Ming Zha
,
Tingjie Lu
,
Wei Fan
A Research on Construction of SOAs for Enterprises in China.
CONFENIS (2)
(2007)
Yunfeng Wang
,
Jun Pang
,
Ming Zha
,
Zhaohui Yang
,
Guoliang Zheng
A Formal Software Development Approach Using Refinement Calculus.
J. Comput. Sci. Technol.
16 (3) (2001)
Yunfeng Wang
,
Bixin Li
,
Jun Pang
,
Ming Zha
,
Guoliang Zheng
A Formal Software Development Approach Based on COOZ and Refinement Calculus.
TOOLS (31)
(1999)