by Kenneth L. McMillan
Reference:
Deductive Generalization (Kenneth L. McMillan), In Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings, 2013.
Bibtex Entry:
@inproceedings{DBLP:conf/sbmf/McMillan13,
author = {Kenneth L. McMillan},
title = {Deductive Generalization},
booktitle = {Formal Methods: Foundations and Applications - 16th Brazilian Symposium,
{SBMF} 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings},
pages = {17},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41071-0\_2},
doi = {10.1007/978-3-642-41071-0\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/conf/sbmf/McMillan13},
bibsource = {dblp computer science bibliography, https://dblp.org}
}