Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 2.

1992

Hanna, Keith and Daeche, N. (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)

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)

This list was generated on Wed Apr 23 13:47:34 2014 BST.