Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Jump to: Article | Conference or workshop item
Number of items: 15.
Article
| Hanna, Keith and Daeche, Neil (1992) Dependent Types and Formal Synthesis. Philosophical Transactions of the Royal Society A: Mathematical, Physical & Engineering Sciences., 339 (1652). pp. 121-135. ISSN 0261-0523. (doi:https://doi.org/10.1098/rsta.1992.0029) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Hanna, Keith and Daeche, Neil (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 currently available from this repository. You may be able to access a copy if URLs are provided) |
| Hanna, Keith and Daeche, Neil and Longley, Mark (1990) Specification and Verification using Dependent Types. IEEE Transactions Software Engineering, SE-16 (9). pp. 949-964. (doi:https://doi.org/10.1109/32.58783) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Hanna, Keith and Daeche, Neil (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 currently available from this repository. You may be able to access a copy if URLs are provided) |
Conference or workshop item
| Hanna, Keith and Daeche, Neil (1993) Strongly-Typed Theory of Structures and Behaviours. In: Correct Hardware Design and Verification Methods. Springer-Verlag pp. 39-54. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Hanna, Keith and Daeche, Neil and Howells, Gareth (1992) Implementation of the Veritas Design Logic. In: Proceedings of the 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 currently available from this repository. You may be able to access a copy if URLs are provided) |
| Hanna, Keith and Daeche, Neil (1992) The Veritas Design Logic - a Users View. In: Stavridou, V. and Melham, Thomas F. and Boute, R.T., eds. IFIP Transactions A-Computer Science And Technology. Elsevier Science Publ B V pp. 301-310. ISBN 0-444-89686-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Hanna, Keith and Daeche, Neil (1992) The Veritas Design Logic; a User''s View. In: Proc. Theorem Provers in Circuit Design. North Holland pp. 301-310. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Hanna, Keith and Daeche, Neil and Longley, Mark (1989) Formal Synthesis of Digital Systems. In: Claesen, Luc J. M., ed. Proc IFIP Intnl. Workshop on Applied Formal Methods for Correct VLSI Design. Elsevier pp. 532-548. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Hanna, Keith and Daeche, Neil and Longley, Mark (1989) Veritas: A Specification Language based on Type Theory. In: Proc. Workshop on Hardware Specification, Verification and Synthesis, Mathematical Aspects. Springer Verlag pp. 358-379. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Hanna, Keith and Daeche, Neil (1987) An Algebraic Approach to Computational Logic. In: Dybjer, Peter and Nordstrom, B., eds. Proc Workshop on Programming Logic. pp. 300-326. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Hanna, Keith and Daeche, Neil (1987) Specification and Verification of Digital Systems. In: Proc Conf on Logic and its Application to Computer Science. pp. 73-143. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Hanna, Keith and Daeche, Neil (1986) Purely Functional Implementation of a Logic. In: Proc. 8th Intnl. Conf. on Automated Deduction. Springer Verlag pp. 598-607. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Hanna, Keith and Daeche, Neil (1986) Specification and Verification using Higher-Order Logic: A Case Study. In: Formal Aspects of VLSI Design. North Holland pp. 179-213. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Hanna, Keith and Daeche, Neil (1985) Specification and Verification using Higher-Order Logic. In: Computer Hardware Description Languages and their Applications. North Holland pp. 418-433. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
