Murali Sitaraman, Bruce M. Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Friedman, Heather K. Harton, Wayne D. Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith, Bruce W. Weide. Building a push-button RESOLVE verifier: Progress and challenges. Formal Asp. Comput., 23(5):607-626, 2011. [doi]
@article{SitaramanAABBFFHHKKSW11,
title = {Building a push-button RESOLVE verifier: Progress and challenges},
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},
year = {2011},
doi = {10.1007/s00165-010-0154-3},
url = {http://dx.doi.org/10.1007/s00165-010-0154-3},
researchr = {https://researchr.org/publication/SitaramanAABBFFHHKKSW11},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {23},
number = {5},
pages = {607-626},
}