LC control no. | n 89117540 |
---|---|
Corporate name heading | Interuniversity Micro-Electronics Center |
Variant(s) | IMEC |
Found in | IFIP WG 10.2/Wg 10.5 International Workshop on Apllied Formal Methods for Correct VLSI Design (1989 : Houthalen, Belgium). Formal VLSI specification and synthesis, 1990: CIP t.p. (IMEC; Interuniversity Micro-Electronics Center, in Leuven, Belgium) |