Neil Daeche

	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		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

Coauthor Index

1	Keith Hanna (F. Keith Hanna)	[1] [2] [3] [4] [5] [6]
2	W. Gareth J. Howells (Gareth Howells)	[4]
3	Mark Longley	[2] [3]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page