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

Group by: Item Type | Date | No Grouping

Number of items: 2.

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 Tue May 21 22:47:47 2013 BST.