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

Group by: Item Type | Date | No Grouping

1995 1990 1989

Number of items: 4.

1995

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)

Preview

1990

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)

1989

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)

This list was generated on Wed Apr 24 16:00:11 2019 BST.

Export as	Atom RSS 1.0 RSS 2.0