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

Article

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)

Conference or workshop item

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)

This list was generated on Sun Apr 20 14:32:01 2014 BST.