More reasons why higher-order logic is a good formalism for specifying and verifying hardware (0)

by J Joyce
Venue:In International Workshop on Formal Methods in VLSI Design, Miami,1991