Title: Higher Order Logic and Hardware Verification
Subjects: Very large scale integration, Symbolic and mathematical Logic, Integrated circuits, Data processing, Logic, symbolic and mathematical, Integrated circuits, very large scale integration