Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Jump to: Article | Book section | Conference or workshop item

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 a-Mathematical Physical and Engineering Sciences, 339 (1652). pp. 121-135. ISSN 0962-8428. The full text of this publication is not available from this repository.

Hanna, F.K. and Daeche, N. and Longley, M. (1990) Specification and Verification using Dependent Types. IEEE Trans. Software Engineering, SE-16 (9). pp. 949-964. The full text of this publication is not available from this repository.

Hanna, F.K. and Daeche, N. (1986) Specification and Verification of Digital Systems using Higher-Order Logic. Proc. IEE, Part E . pp. 242-254. 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. 221-235. 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. 125-204. The full text of this publication is not available from this repository.

Conference or workshop item

Hanna, F.K. and Daeche, N. (1992) The Veritas Design Logic; a User''s View. In: Proc. Theorem Provers in Circuit Design. The full text of this publication is not available from this repository.

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.

Hanna, F.K. and Daeche, N. (1987) An Algebraic Approach to Computational Logic. In: Proc Workshop on Programming Logic. The full text of this publication is not available from this repository.

Hanna, F.K. and Daeche, N. (1987) Specification and Verification of Digital Systems. In: Proc Conf on Logic and its Application to Computer Science. The full text of this publication is not available from this repository.

Hanna, F.K. and Daeche, N. (1986) Purely Functional Implementation of a Logic. In: Proc. 8th Intnl. Conf. on Automated Deduction. The full text of this publication is not available from this repository.

Hanna, F.K. and Daeche, N. (1986) Specification and Verification using Higher-Order Logic: A Case Study. In: Formal Aspects of VLSI Design. The full text of this publication is not available from this repository.

Hanna, F.K. and Daeche, N. (1985) Specification and Verification using Higher-Order Logic. In: Computer Hardware Description Languages and their Applications. The full text of this publication is not available from this repository.

This list was generated on Wed May 22 19:55:56 2013 BST.