@inproceedings{DBLP:conf/cade/BjornerMR12,
  author    = {Nikolaj Bj{\o}rner and
               Kenneth L. McMillan and
               Andrey Rybalchenko},
  title     = {Program Verification as Satisfiability Modulo Theories},
  booktitle = {10th International Workshop on Satisfiability Modulo Theories, {SMT}
               2012, Manchester, UK, June 30 - July 1, 2012},
  pages     = {3--11},
  year      = {2012},
  url       = {http://www.easychair.org/publications/paper/145353},
  timestamp = {Tue, 25 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/BjornerMR12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}