Writing PVS proof strategies (2003)

by S Owre, N Shankar
Venue:Design and Application of Strategies/Tactics in Higher Order Logics (STRATA 2003), number CP-2003-212448 in NASA Conference Publication