@InProceedings{   Eo02animproved,
  Author        = "Eo, Hyunjun and Yi, Kwangkeun",
  BookTitle     = "Proc. of the 3rd Asian Workshop on Programming Language and Systems",
  date-added    = "2014-03-24 08:24:30 +0000",
  date-modified = "2014-03-24 08:24:30 +0000",
  Title         = "An improved differential fixpoint iteration method for program analysis",
  Year          = "2002",
  File          = "An improved differential fixpoint iteration method for program analysis - Eo, Yi (0) (0) - a - a - r.pdf"
}

@InProceedings{ Eo02animproved, Author = "Eo, Hyunjun and Yi, Kwangkeun", BookTitle = "Proc. of the 3rd Asian Workshop on Programming Language and Systems", date-added = "2014-03-24 08:24:30 +0000", date-modified = "2014-03-24 08:24:30 +0000", Title = "An improved differential fixpoint iteration method for program analysis", Year = "2002", File = "An improved differential fixpoint iteration method for program analysis - Eo, Yi (0) (0) - a - a - r.pdf" }