Search Results - Bronish, Derek

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Building a push-button RESOLVE verifier: Progress and challenges

    Building a push-button RESOLVE verifier: Progress and challenges by Sitaraman, Murali, Adcock, Bruce, Avigad, Jeremy, Bronish, Derek, Bucci, Paolo, Frazier, David, Friedman, Harvey M., Harton, Heather, Heym, Wayne, Kirschenbaum, Jason, Krone, Joan, Smith, Hampton, Weide, Bruce W.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: