@inproceedings{JuKoWaYi-VMCAI-2010,
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)},
year = {2010},
month = {January},
address = {Madrid, Spain}
}