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

Article

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. (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 and Longley, Mark (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 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. (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)

Research report (external)

King, Andy and Longley, Mark (1995) Abstract Matching Can Improve on Abstract Unification. University of Kent, School of Computing, University of Kent, Canterbury, UK (Full text available)
[img]
Preview

This list was generated on Fri Jul 3 20:24:04 2015 BST.