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 of London Series aMathematical Physical and Engineering Sciences, 339
(1652).
pp. 121135.
ISSN 09628428.
(The full text of this publication is not available from this repository)


Book section
Hanna, F.K. and Howells, W.G.J.
(1994)
Parallel Theorem Proving.
In: Runciman, C. and Wakeling, D., 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, W.G.J.
(1994)
The Veritas Proof Assistant.
In: Runciman, C. and Wakeling, D., 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 Wed Apr 16 09:06:44 2014 BST.
