Automating most parts of hardware proofs in HOL (1991)

by Kropf
Venue:Workshop on Computer Aided Verification, number 575 in Lecture Notes in Computer Science