Writing PVS proof strategies (2003)

by Sam Owre , Natarajan Shankar
Venue:Design and Application of Strategies/Tactics in Higher Order Logics (STRATA 2003), number CP-2003-212448 in NASA Conference Publication
Citations:6 - 1 self