TitleDeveloping User Strategies in PVS: A Tutorial
Publication TypeConference Paper
Year of Publication2003
Conference NameFirst International Workshop on Design and Application of Strategies/Tactics in Higher Order Logics (STRATA 2003)
Conference LocationRome, Italy
NRL Publication Release Number

03-1221.1-1925