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