Inductive invariant generation via abductive inference (bibtex)

by Isil Dillig and Thomas Dillig and Boyang Li and Kenneth L. McMillan

Reference:

Inductive invariant generation via abductive inference (Isil Dillig and Thomas Dillig and Boyang Li and Kenneth L. McMillan), In Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2013, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013, 2013.

Bibtex Entry:

@inproceedings{DBLP:conf/oopsla/DilligDLM13,
  author    = {Isil Dillig and
               Thomas Dillig and
               Boyang Li and
               Kenneth L. McMillan},
  title     = {Inductive invariant generation via abductive inference},
  booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on
               Object Oriented Programming Systems Languages {\&} Applications, {OOPSLA}
               2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October 26-31,
               2013},
  pages     = {443--456},
  year      = {2013},
  url       = {http://doi.acm.org/10.1145/2509136.2509511},
  doi       = {10.1145/2509136.2509511},
  timestamp = {Fri, 25 Oct 2013 08:46:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/DilligDLM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}