| 1993 |
|---|
| 6 | | Keith Hanna,
Neil Daeche:
Strongly-Typed Theory of Structures and Behaviours.
CHARME 1993: 39-54 |
| 1992 |
|---|
| 5 | | Keith Hanna,
Neil Daeche:
The Veritas Design Logic: A User's View.
TPCD 1992: 301-310 |
| 4 | | Keith Hanna,
Neil Daeche,
Gareth Howells:
Implementation of the Veritas Design Logic.
TPCD 1992: 77-94 |
| 1990 |
|---|
| 3 | EE | F. Keith Hanna,
Neil Daeche,
Mark Longley:
Specification and Verification Using Dependent Types.
IEEE Trans. Software Eng. 16(9): 949-964 (1990) |
| 1989 |
|---|
| 2 | | F. Keith Hanna,
Neil Daeche,
Mark Longley:
Veritas+: A Specification Language Based on Type Theory.
Hardware Specification, Verification and Synthesis 1989: 358-379 |
| 1986 |
|---|
| 1 | | F. Keith Hanna,
Neil Daeche:
Purely Functional Implementation of a Logic.
CADE 1986: 598-607 |
