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: 12.

Article

Hanna, Keith (2000) Reasoning about analog-level implementations of digital systems. Formal Methods in System Design, 16 (2). pp. 127-158. ISSN 0925-9856. The full text of this publication is not available from this repository.

Hanna, Keith (1999) Implementing Theorem Provers in a Purely Functional Style. Journal of Functional Programming, 9 (2). pp. 147-166. The full text of this publication is not available from this repository.

Hanna, Keith and Daeche, N. (1992) The Veritas Design Logic - a Users View. IFIP Transactions A-Computer Science And Technology , 10 . pp. 301-310. ISSN 0926-5473 . The full text of this publication is not available from this repository.

Book section

Hanna, Keith (1998) Reasoning about imperfect digital systems. In: Moller, Bernhard Moller and Tucker, John V, eds. Prospects for Hardware Foundations. Lecture Notes in Computer Science, 1546 . Springer-Verlag Berlin, Berlin, pp. 333-355. ISBN 0302-9743. The full text of this publication is not available from this repository.

Conference or workshop item

Hanna, Keith (2002) Interactive Visual Functional Programming. In: Proc. Intnl Conf. on Functional Programming, OCT 04-06, 2002, Pittsburgh, PA, USA. The full text of this publication is not available from this repository.

Hanna, Keith (1998) Automatic Verification of Mixed-Level Logic Circuits. In: Formal Methods in Computer-Aided Design. The full text of this publication is not available from this repository.

Hanna, Keith (1994) Reasoning about Real Digital Circuits. In: Proc Higher Order Logic Theorem Proving and its Applications. The full text of this publication is not available from this repository.

Dent, Alan and Hanna, Keith (1993) Reasoning about Array Structures Using a Dependently Typed Logic. In: Proc Computer Hardware Description Languages (CHDL-93). The full text of this publication is not available from this repository.

Dent, A. and Hanna, Keith (1993) Reasoning about array structures using a dependently typed logic. In: Agnew, D. and Claesen, L. and Camposano, R., eds. IFIP transactions a-computer science and technology. Elsevier Science Publ B V pp. 207-224. ISBN 0-444-81641-0. The full text of this publication is not available from this repository.

Hanna, Keith and Daeche, N. (1993) Strongly-Typed Theory of Structures and Behaviours. In: Correct Hardware Design and Verification Methods. The full text of this publication is not available from this repository.

Hanna, Keith and Daeche, N. and Howells, G. (1992) Implementation of the Veritas Design Logic. In: International Conference On Theorem Provers in Circuit Design : Theory, Practice And Experience. IFIP Transactions A-Computer Science and Technology , 10. Elsevier Science BV , Nijmegen, Netherlands pp. 77-94. ISBN 0-444-89686-4. The full text of this publication is not available from this repository.

Hanna, Keith and Daeche, N. (1992) The Veritas Design Logic - a Users View. In: International Conf on Theorem Provers in Circuit Design : Theory, Practice and Experience, June 22-24, 1992, Nijmegen, Netherlands. The full text of this publication is not available from this repository.

This list was generated on Sat May 18 22:18:09 2013 BST.