F.K. Hanna

3 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.

Veritas+: A specification language based on type theory

F.K. Hanna and others (1990) · Springer New York

Purely functional implementation of a logic

F.K. Hanna and others (1986) · Lecture notes in computer science · Springer Science+Business Media

Overview of the Veritas Project

F.K. Hanna (1983) · University of Kent