효과 타입 시스템을 이용한 기계어 코드의 검증
- Publisher
- 한국정보과학회
- Issue Date
- 2000-08
- Language
- Korean
- Citation
정보과학회논문지 : 소프트웨어 및 응용, v.27, no.8, pp.886 - 901
- ISSN
- 1229-6848
- Appears in Collection
- RIMS Journal Papers
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.