Browse by Person (creator, editor, contributor, etc.)
Number of items: 1.
Conference or workshop item
Hanna, Keith and Daeche, Neil and Longley, Mark
Formal Synthesis of Digital Systems.
In: Proc IFIP Intnl. Workshop on Applied Formal Methods for Correct VLSI Design.
(The full text of this publication is not available from this repository)