Keith Hanna

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Strongly-typed theory of structures and behaviours

Keith Hanna and others (1993) · Correct Hardware Design and Verification Methods · Springer-Verlag

Implementation of the Veritas design logic

Keith Hanna and others (1992) · Theorem Provers in Circuit Design: Theory, Practice and Experience

The Veritas design logic: A user's view

Keith Hanna and others (1992) · Theorem Provers in Circuit Design: Theory, Practice and Experience

Specification and verification of digital systems using higher-order predicate logic

Keith Hanna and others (1986) · IEE Proceedings E: Computers and Digital Techniques · Institution of Engineering and Technology (IET)