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

Group by: Item Type | Date | No Grouping

Jump to: Article | Conference or workshop item

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 Thu May 23 11:53:00 2013 BST.