Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 1.

Conference or workshop item

Hanna, Keith and Daeche, Neil and Longley, Mark (1989) 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)

This list was generated on Mon Jun 30 09:34:56 2014 BST.