@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 = "Proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'10)", month = "January", year = "2010" }