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:58 - 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