@techreport{DaJuKoWaYi2010,
   author = {Cristina David and Yungbum Jung and Soonho Kong and Bow-Yaw Wang and Kwangkeun Yi},
   title = {Inferring Quantified Invariants via Algorithmic Learning, Decision Procedures, and Predicate Abstraction},
   institution = {Research On Software Analysis for Error-free Computing Center, Seoul National University},
   type = {Technical Memorandum},
   number = {ROSAEC-2010-007},
   month = {January},
   year = {2010},
   category = {tech-memo},
   format = {pdf},
   location = {file},
}