dblp.uni-trier.dewww.uni-trier.de

Neil Daeche Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)