Mark Longley

Publication Activity (10 Years)

Years Active: 1989-2001
Publications (10 Years): 0

University of Kent, UK (PHD)

Education History

University of Kent, UK

PHD

Publications

Pieter H. Hartel, Michael J. Butler, Eduard de Jong, Mark Longley
Transacted Memory for Smart Cards. FME (2001)
F. Keith Hanna, Neil Daeche, Mark Longley
Specification and Verification Using Dependent Types. IEEE Trans. Software Eng. 16 (9) (1990)
F. Keith Hanna, Neil Daeche, Mark Longley
: A Specification Language Based on Type Theory. Hardware Specification, Verification and Synthesis (1989)