Structuring and Automating Hardware Proofs in a Higher-Order Theorem-Proving Environment (1993)

Cached

Download Links

by Ramayya Kumar , Klaus Schneider , Thomas Kropf
Venue:Formal Methods in System Design
Citations:20 - 7 self

Document Versions

Structuring and Automating Hardware Proofs in a Higher-Order Theorem-Proving Environment –Ramayya Kumar, Klaus Schneider, Thomas Kropf — 1993 — Formal Methods in System Design