The Veritas Design Logic - a Users View

Hanna, Keith and Daeche, N. (1992) The Veritas Design Logic - a Users View. IFIP Transactions A-Computer Science And Technology , 10 . pp. 301-310. ISSN 0926-5473 . (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: Article
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: 31 Aug 2009 11:26
Last Modified: 19 Aug 2011 15:05
Resource URI: http://kar.kent.ac.uk/id/eprint/22503 (The current URI for this page, for reference purposes)
  • Depositors only (login required):