| Original language | Korean |
|---|---|
| Journal | 한국컴퓨터정보학회논문지 |
| State | Published - 2013 |
휘처 모델의 Z 정형 명세와 검사 기법
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
| Original language | Korean |
|---|---|
| Journal | 한국컴퓨터정보학회논문지 |
| State | Published - 2013 |