Higher Order Logic and Hardware Verification (1993)

by T Melhem