@inproceedings{JuKoWaYi10,
   author = {Yungbum Jung and  Soonho Kong and Bow-Yaw Wang and Kwangkeun Yi},
   title = {Deriving Invariants by Algorithmic Learning, Decision Procedures,  and Predicate Abstraction},
   booktitle = {VMCAI'10: Proceeding of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation},
   pages = {180-196},
   year = {2010},
   category = {other-program-analyses},
   format = {pdf},
   location = {file},
}