Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: 1992

Number of items: 2.

1992

Hanna, Keith, Daeche, Neil (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 currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:22503)

Hanna, Keith, 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 currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:22605)

This list was generated on Wed Apr 22 23:41:21 2026 BST.