Title: Higher order logic and hardware verification
First published: 1993
Subjects: Data processing, Integrated circuits, Logic, Symbolic and mathematical, Symbolic and mathematical Logic, Very large scale integration, Computer input-output equipment
LC classification: TK7874 .M432 1993