@techreport{YaSeYiHa2006,
   author = {Hongseok Yang and Sunae Seo and Kwangkeun Yi and Taisook Han},
   title = {Off-line Semantic Slicing From Abstract Interpretation Results},
   institution = {Programming Research Laboratory, School of Computer Science & Engineering, Seoul National University},
   type = {Technical Memorandum},
   number = {ROPAS-2006-34},
   month = {October},
   year = {2006},
   category = {tech-memo},
   format = {pdf},
   location = {file},
}