Login / Signup
Chun-Yin Cheng
Publication Activity (10 Years)
Years Active: 2006-2006
Publications (10 Years): 0
</>
Publications
</>
Chin-Feng Fan
,
Chun-Yin Cheng
Constraint-Based Software Specifications and Verification Using UML.
IEICE Trans. Inf. Syst.
(6) (2006)