Neil Daeche (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Keith Hanna, Neil Daeche: Strongly-Typed Theory of Structures and Behaviours. CHARME 1993: 39-54

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

3 F. Keith Hanna, Neil Daeche, Mark Longley: Specification and Verification Using Dependent Types. IEEE Trans. Software Eng. 16(9): 949-964 (1990)

2 F. Keith Hanna, Neil Daeche, Mark Longley: Veritas⁺: A Specification Language Based on Type Theory. Hardware Specification, Verification and Synthesis 1989: 358-379

1 F. Keith Hanna, Neil Daeche: Purely Functional Implementation of a Logic. CADE 1986: 598-607

Selection of 6 from 6 records - Neil Daeche has 3 coauthors

6		Keith Hanna, Neil Daeche: Strongly-Typed Theory of Structures and Behaviours. CHARME 1993: 39-54
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
3		F. Keith Hanna, Neil Daeche, Mark Longley: Specification and Verification Using Dependent Types. IEEE Trans. Software Eng. 16(9): 949-964 (1990)
2		F. Keith Hanna, Neil Daeche, Mark Longley: Veritas⁺: A Specification Language Based on Type Theory. Hardware Specification, Verification and Synthesis 1989: 358-379
1		F. Keith Hanna, Neil Daeche: Purely Functional Implementation of a Logic. CADE 1986: 598-607