Quantified Invariant Generation Using an Interpolating Saturation Prover (bibtex)

by Kenneth L. McMillan

Reference:

Quantified Invariant Generation Using an Interpolating Saturation Prover (Kenneth L. McMillan), In Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, 2008.

Bibtex Entry:

@inproceedings{DBLP:conf/tacas/McMillan08,
  author    = {Kenneth L. McMillan},
  title     = {Quantified Invariant Generation Using an Interpolating Saturation
               Prover},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               14th International Conference, {TACAS} 2008, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2008,
               Budapest, Hungary, March 29-April 6, 2008. Proceedings},
  pages     = {413--427},
  year      = {2008},
  url       = {TACAS08.pdf},
  doi       = {10.1007/978-3-540-78800-3\_31},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/McMillan08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}