F. Keith Hanna

Publication Activity (10 Years)

Years Active: 1976-2000
Publications (10 Years): 0

Publications

F. Keith Hanna
Reasoning About Analog-Level Implementations of Digital Systems. Formal Methods Syst. Des. 16 (2) (2000)
F. Keith Hanna
Automatic Verification of Mixed-Level Logic Circuits. FMCAD (1998)
F. Keith Hanna, Neil Daeche, Mark Longley
Specification and Verification Using Dependent Types. IEEE Trans. Software Eng. 16 (9) (1990)
F. Keith Hanna, Neil Daeche, Mark Longley
: A Specification Language Based on Type Theory. Hardware Specification, Verification and Synthesis (1989)
F. Keith Hanna, Neil Daeche
Purely Functional Implementation of a Logic. CADE (1986)
F. Keith Hanna, W. T. Harwood
A Multiprocessor System for Knowledge Representation and Manipulation. AISB/GI (ECAI) (1978)
W. T. Harwood, F. Keith Hanna
A Distributed Activity Processing System for AI. AISB (ECAI) (1976)