Structuring hardware proofs: First steps towards automation in a higher-order environment (1991)

by Kropf
Venue:International Conference on Very Large Scale Integration