Browse by Person (creator, editor, contributor, etc.)
Number of items: 12. Article
Hanna, Keith and Daeche, N.
(1992)
The Veritas Design Logic  a Users View.
IFIP Transactions AComputer Science And Technology , 10
.
pp. 301310.
ISSN 09265473 .
(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
.
SpringerVerlag Berlin, Berlin, pp. 333355.
ISBN 03029743.
(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 0406, 2002, Pittsburgh, PA, USA.
(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, 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 acomputer science and technology.
Elsevier Science Publ B V
pp. 207224.
ISBN 0444816410.
(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 AComputer Science and Technology , 10.
Elsevier Science BV , Nijmegen, Netherlands
pp. 7794.
ISBN 0444896864.
(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 2224, 1992, Nijmegen, Netherlands.
(The full text of this publication is not available from this repository)


This list was generated on Thu Apr 17 18:56:45 2014 BST.
