Building a push-button RESOLVE verifier: Progress and challenges (2010)

by Murali Sitaraman , Bruce Adcock , Derek Bronish , Paolo Bucci , Murali Sitaraman , Bruce Adcock , Jeremy Avigad , Paolo Bucci , Jason Kirschenbaum , Bruce W. Weide
Venue:Formal Aspects of Computing
Citations:4 - 4 self