Lazy Abstraction with Interpolants (bibtex)

by Kenneth L. McMillan

Reference:

Lazy Abstraction with Interpolants (Kenneth L. McMillan), In Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, 2006.

Bibtex Entry:

@inproceedings{DBLP:conf/cav/McMillan06,
  author    = {Kenneth L. McMillan},
  title     = {Lazy Abstraction with Interpolants},
  booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
               2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  pages     = {123--136},
  year      = {2006},
  url       = {TACAS06.pdf},
  doi       = {10.1007/11817963\_14},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/McMillan06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}