| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2006 | |
|---|---|---|
| 3 |      | 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 | | 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] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page