| |
| 2006 | ||
|---|---|---|
| 3 | EE | Kuangnan Chang, David Chenho Kung: Model Checking with Induction. COMPSAC (1) 2006: 143-149 |
| 2 | Kuangnan Chang, Bobby Adkins: Virus Removal Cost (VRC) Metric. Software Engineering Research and Practice 2006: 469-473 | |
| 1999 | ||
| 1 | EE | Kuangnan Chang, David Chenho Kung, Pei Hsia: OBL: A Formal Deduction Method for Object-Oriented Systems. COMPSAC 1999: 450-455 |
| 1 | Bobby Adkins | [2] |
| 2 | Pei Hsia | [1] |
| 3 | David Chenho Kung (Chenho Kung) | [1] [3] |