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]
No references recorded for this publication.
No citations of this publication recorded.