Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie
Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates
ASE, 2008.
@inproceedings{ASE-2008-HartKGCL,
author = "Thomas E. Hart and Kelvin Ku and Arie Gurfinkel and Marsha Chechik and David Lie",
booktitle = "{Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering}",
doi = "10.1109/ASE.2008.55",
pages = "387--390",
publisher = "{IEEE}",
title = "{Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates}",
year = 2008,
}