Neil Daeche (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

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

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