Browse by Journal

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

Jump to: H

Number of items: 1.

H

Hanna, Keith and Daeche, Neil and Howells, Gareth (1992) Implementation of the Veritas Design Logic. In: Proceedings of the International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience. IFIP Transactions A-Computer Science and Technology, 10. Elsevier Science BV, Nijmegen, Netherlands pp. 77-94. ISBN 0-444-89686-4. (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)

This list was generated on Wed May 22 02:50:27 2019 BST.

Export as	Atom RSS 1.0 RSS 2.0