@article{ChRyYi2000a,
   author = {정재윤 and 류석영 and 이광근},
   title = {효과 타입 시스템을 이용한 기계어 코드의 검증},
   journal = {정보과학회 논문지},
   volume = {27},
   number = {8},
   pages = {886--901},
   month = {August},
   year = {2000},
   format = {hwp},
   category = {domestic-journal},
}