Browse by Journal
Up a level |
Jump to: Conference or workshop item
Number of items: 1.
Conference or workshop item
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) |