The Veritas Design Logic - a Users View

Hanna, Keith and Daeche, Neil (1992) The Veritas Design Logic - a Users View. In: International Conf on Theorem Provers in Circuit Design : Theory, Practice and Experience, June 22-24, 1992, Nijmegen, Netherlands. (The full text of this publication is not available from this repository)

The full text of this publication is not available from this repository. (Contact us about this Publication)
Item Type: Conference or workshop item (Paper)
Uncontrolled keywords: Design Logic; Dependent Types; User Interface
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 75 Electronic computers. Computer science
Divisions: Faculties > Science Technology and Medical Studies > School of Computing
Depositing User: P. Ogbuji
Date Deposited: 24 Mar 2010 00:14
Last Modified: 15 Jul 2014 10:31
Resource URI: http://kar.kent.ac.uk/id/eprint/22605 (The current URI for this page, for reference purposes)
ORCiD (Hanna, Keith):
ORCiD (Daeche, Neil):
  • Depositors only (login required):