Alexey Loginov, Thomas W. Reps, Shmuel Sagiv
Abstraction Refinement via Inductive Learning
CAV, 2005.
@inproceedings{CAV-2005-LoginovRS, author = "Alexey Loginov and Thomas W. Reps and Shmuel Sagiv", booktitle = "{Proceedings of the 17th International Conference on Computer Aided Verification}", doi = "10.1007/11513988_50", isbn = "3-540-27231-3", pages = "519--533", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Abstraction Refinement via Inductive Learning}", volume = 3576, year = 2005, }