A Practical and Complete Approach to Predicate Refinement (bibtex)

by Ranjit Jhala and Kenneth L. McMillan

Reference:

A Practical and Complete Approach to Predicate Refinement (Ranjit Jhala and Kenneth L. McMillan), In Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings, 2006.

Bibtex Entry:

@inproceedings{DBLP:conf/tacas/JhalaM06,
  author    = {Ranjit Jhala and
               Kenneth L. McMillan},
  title     = {A Practical and Complete Approach to Predicate Refinement},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               12th International Conference, {TACAS} 2006 Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2006,
               Vienna, Austria, March 25 - April 2, 2006, Proceedings},
  pages     = {459--473},
  year      = {2006},
  url       = {TACAS06.pdf},
  doi       = {10.1007/11691372\_33},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/JhalaM06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}