Deepak Kapur
Induction, Invariants, and Abstraction
IJCAR, 2010.
@inproceedings{IJCAR-2010-Kapur, author = "Deepak Kapur", booktitle = "{Proceedings of the Fifth International Joint Conference on Automated Reasoning}", doi = "10.1007/978-3-642-14203-1_30", isbn = "978-3-642-14202-4", pages = "353", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Induction, Invariants, and Abstraction}", volume = 6173, year = 2010, }