| |
| 2007 | ||
|---|---|---|
| 2 | EE | Sunae Seo, Youil Kim, Hyun-Goo Kang, Taisook Han: A Static Bug Detector for Uninitialized Field References in Java Programs. IEICE Transactions 90-D(10): 1663-1671 (2007) |
| 2005 | ||
| 1 | EE | Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han: A Path Sensitive Type System for Resource Usage Verification of C Like Languages. APLAS 2005: 264-280 |
| 1 | Hwansoo Han | [1] |
| 2 | Taisook Han | [1] [2] |
| 3 | Youil Kim | [1] [2] |
| 4 | Sunae Seo | [2] |