@techreport{ChRyYi2000,
   author = {Jaeyoun Chung and Sukyoung Ryu and Kwangkeun Yi},
   title = {Verification of Machine Codes Using An Effect Type System},
   type = {Technical Memorandum},
   number = {ROPAS-2000-6},
   category = {tech-memo},
   institution = {Research On Program Analysis System, Korea Advanced Institute of Science and Technology},
   month = {July},
   year = {2000},
   url = {http://ropas.snu.ac.kr/lib/dock/ChRyYi2000.ps.gz},
   format = {ps ps.gz dvi.gz pdf},
}