A methodology for reusable hardware-proofs (1992)

by M Aargaard, M Leeser
Venue:In International Workshop on Higher Order Logic and its Applications