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

by Ramayya Kumar, Klaus Schneider, Thomas Kropf
Venue:Formal Methods in System Design