What's in Common between Test, Model Checking, and Decision Procedures? (bibtex)

by Kenneth L. McMillan

Reference:

What's in Common between Test, Model Checking, and Decision Procedures? (Kenneth L. McMillan), In Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings, 2009.

Bibtex Entry:

@inproceedings{DBLP:conf/fmics/McMillan09,
  author    = {Kenneth L. McMillan},
  title     = {What's in Common between Test, Model Checking, and Decision Procedures?},
  booktitle = {Formal Methods for Industrial Critical Systems, 14th International
               Workshop, {FMICS} 2009, Eindhoven, The Netherlands, November 2-3,
               2009. Proceedings},
  pages     = {35--36},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04570-7\_4},
  doi       = {10.1007/978-3-642-04570-7\_4},
  timestamp = {Sat, 16 Sep 2017 12:12:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/McMillan09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}