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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 2.

Conference or workshop item

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, 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)

This list was generated on Thu Apr 24 19:24:50 2014 BST.