by Thomas E. Hart, Kelvin Ku, David Lie, Marsha Chechik and Arie Gurfinkel
Reference:
Thomas E. Hart, Kelvin Ku, David Lie, Marsha Chechik and Arie Gurfinkel, “Augmenting Counterexample-Guided Abstraction Refinement With Proof Templates”, In Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2008.
Bibtex Entry:
@string{ase08="Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE)"} @inproceedings{hart:ASE2008, author = {Thomas E. Hart and Kelvin Ku and David Lie and Marsha Chechik and Arie Gurfinkel}, title = {Augmenting Counterexample-Guided Abstraction Refinement With Proof Templates}, booktitle = ASE08, month = sep, year = 2008, url = {https://security.csl.toronto.edu/wp-content/uploads/2018/06/hart_ase08_short.pdf}, note = {(Acceptance: 34/208, 12\%)} }