F. K. Hanna
5 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.
Dependent types and formal synthesis
F. K. Hanna and others (1992) · The Royal Society
Dependent types and formal synthesis
F. K. Hanna and others (1992) · Mechanized Reasoning and Hardware Design · Prentice Hall
Formal synthesis of digital systems
F. K. Hanna and others (1989) · Applied Formal Methods for Correct VLSI Design (IMEC-IFIP International Workshop) · North-Holland
Specification and verification using higher-order logic: A case study
F. K. Hanna and others (1985) · Proceedings of the 7th International Conference on Computer Hardware Description Languages and their Applications (CHDL 85), Tokyo · North-Holland
The VERITAS project
F. K. Hanna (1984)