BibTeX record journals/fac/SitaramanAABBFFHHKKSW11

• > Home > journals/fac/SitaramanAABBFFHHKKSW11

@article{DBLP:journals/fac/SitaramanAABBFFHHKKSW11,
  author       = {Murali Sitaraman and
                  Bruce M. Adcock and
                  Jeremy Avigad and
                  Derek Bronish and
                  Paolo Bucci and
                  David Frazier and
                  Harvey M. Friedman and
                  Heather K. Harton and
                  Wayne D. Heym and
                  Jason Kirschenbaum and
                  Joan Krone and
                  Hampton Smith and
                  Bruce W. Weide},
  title        = {Building a push-button {RESOLVE} verifier: Progress and challenges},
  journal      = {Formal Aspects Comput.},
  volume       = {23},
  number       = {5},
  pages        = {607--626},
  year         = {2011},
  url          = {https://doi.org/10.1007/s00165-010-0154-3},
  doi          = {10.1007/S00165-010-0154-3},
  timestamp    = {Sat, 30 Sep 2023 10:13:13 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/SitaramanAABBFFHHKKSW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}