Generating Proof-Specific Strategies for PVS
| Author | Kellomäki, P. |
|---|---|
| Source | In: Archer, M., Di Vito, B. & Munoz, C. (eds.) Design and Application of Strategies/Tactics in Higher Order Logics. Proceedings of a workshop sponsored by th Naval Research Laboratory, the National Aeronautics and Space Administration, andtheNational In |
| Publication year | 2003 |
| Pages | s. 91-102 |
| Document type | b3 j2tut Vertaisarvioimaton artikkeli ja esitelmä tieteellisessä konferenssijulkaisussa, kansainvälinen |
| Department | Ohjelmistotekniikka |