Sign in
Chuanjiang Yu
Publication Activity (10 Years)
Years Active: 2000-2001
Publications (10 Years): 0
</>
Publications
</>
Huaikou Miao
,
Ling Liu
,
Chuanjiang Yu
,
Jijun Ming
,
Li Li
Z User Studio: An Integrated Support Tool for Z Specifications.
APSEC
(2001)
Huaikou Miao
,
Chuanjiang Yu
,
Li Li
A Formalized Abstract Component Object Mode - Z-COM.
TOOLS (36)
(2000)