Browse by Person (creator, editor, contributor, etc.)
Number of items: 3.
Conference or workshop item
Hanna, F.K. and Daeche, N. and Longley, M.
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.