@techreport{EoYi2004,
   author = {Hyunjun Eo and Kwangkeun Yi},
   title = {A Differential Fixoint Iteration Method for Static Analysis Specifications},
   type = {Technical Memorandum},
   number = {ROPAS-2004-21},
   category = {tech-memo},
   institution = {Programming Research Laboratory, School of Computer Science & Engineering, Seoul National University},
   month = {February},
   year = {2004},
   format = {pdf},
}