×

Found 17 Documents (Results 1–17)

Using transformations and verification in circuit design. (English) Zbl 0800.94308

Designing correct circuits, Proc. 2nd IFIP WG 10.2/ WG 10.5 Workshop, Lyngby/Denmark 1992, 1-25 (1992).
MSC:  94C12 68Q60
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

Software