@techreport{Le2006,
   author = {이상우},
   title = {프로그램 분석에서 넓히기(widening)로 인한 정확도 저하를 보완하는 할일하기(worklist) 알고리즘 [석사논문]},
   institution = {Programming Research Laboratory, School of Computer Science & Engineering, Seoul National University},
   type = {Technical Memorandum},
   number = {ROPAS-2006-30},
   month = {July},
   year = {2006},
   category = {tech-memo},
   format = {pdf},
   location = {file},
}