Browse by Person (creator, editor, contributor, etc.)
Number of items: 13. Article
Hanna, F.K. and Daeche, N.
(1992)
Dependent Types and Formal Synthesis.
Philosophical Transactions of the Royal Society A: Mathematical, Physical & Engineering Sciences., 339
(1652).
pp. 121135.
ISSN 02610523.
(The full text of this publication is not available from this repository)


Book section
Hanna, F.K. and Howells, Gareth
(1994)
Parallel Theorem Proving.
In: Runciman, Colin and Wakeling, David, eds.
Applications of Functional Programming.
UCL Press, pp. 221235.
(The full text of this publication is not available from this repository)


Hanna, F.K. and Howells, Gareth
(1994)
The Veritas Proof Assistant.
In: Runciman, Colin and Wakeling, David, eds.
Applications of Functional Programming.
UCL Press, pp. 125204.
(The full text of this publication is not available from this repository)


Conference or workshop item
Hanna, F.K. and Daeche, N. and Longley, M.
(1989)
Formal Synthesis of Digital Systems.
In: Proc IFIP Intnl. Workshop on Applied Formal Methods for Correct VLSI Design.
(The full text of this publication is not available from this repository)


Hanna, F.K. and Daeche, N. and Longley, M.
(1989)
Veritas: A Specification Language based on Type Theory.
In: Proc. Workshop on Hardware Specification, Verification and Synthesis, Mathematical Aspects.
(The full text of this publication is not available from this repository)


This list was generated on Tue Jun 17 14:11:23 2014 BST.
