Mechanizing Programming Logics in Higher Order Logic (1989)
by
Michael J. C. Gordon
| Venue: | in Current Trends in Hardware Verification and Automated Theorem Proving, ed. P.A. Subrahmanyam and Graham Birtwistle |
| Citations: | 57 - 3 self |
Document Versions
| Mechanizing Programming Logics in Higher Order Logic –Michael J. C. Gordon — 1989 — in Current Trends in Hardware Verification and Automated Theorem Proving, ed. P.A. Subrahmanyam and Graham Birtwistle |
| Mechanizing Programming Logics in Higher Order Logic –Michael J. C. Gordon — 1988 — Current Trends in Hardware Verification and Automated Theorem Proving |
