Kuangnan Chang

Publication Activity (10 Years)

Years Active: 1999-2006
Publications (10 Years): 0

Publications

Kuangnan Chang, Bobby Adkins
Virus Removal Cost (VRC) Metric. Software Engineering Research and Practice (2006)
Kuangnan Chang, David Chenho Kung
Model Checking with Induction. COMPSAC (1) (2006)
Kuangnan Chang, David Chenho Kung, Pei Hsia
OBL: A Formal Deduction Method for Object-Oriented Systems. COMPSAC (1999)