IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design (1989 Houthalen, Belgium)

Author detail

2 featured books

Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.

OL884824A

Overview

Catalog identity and bibliographic footprint for this author.

2 representative editions

Author pages in Bookitis are intended to show only works actually attributed to the author and a representative edition for each of those works.

How this author appears inside the active Bookitis catalog.

Display name
IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design (1989 Houthalen, Belgium)
Source identifier
OL884824A

Representative editions for works actually authored by this person.

Quick navigation into the work-level grouping pages behind the featured books.

Formal VLSI correctness verification
Representative edition published 1990
Open Work
Formal VLSI specification and synthesis
Representative edition published 1990
Open Work