| |
| 2001 | ||
|---|---|---|
| 3 | EE | Pieter H. Hartel, Michael J. Butler, Eduard de Jong, Mark Longley: Transacted Memory for Smart Cards. FME 2001: 478-499 |
| 1990 | ||
| 2 | EE | F. Keith Hanna, Neil Daeche, Mark Longley: Specification and Verification Using Dependent Types. IEEE Trans. Software Eng. 16(9): 949-964 (1990) |
| 1989 | ||
| 1 | F. Keith Hanna, Neil Daeche, Mark Longley: Veritas+: A Specification Language Based on Type Theory. Hardware Specification, Verification and Synthesis 1989: 358-379 | |
| 1 | Michael J. Butler | [3] |
| 2 | Neil Daeche | [1] [2] |
| 3 | Keith Hanna (F. Keith Hanna) | [1] [2] |
| 4 | Pieter H. Hartel | [3] |
| 5 | Eduard de Jong | [3] |