【Created on October 31, 2023】Integration of CiNii Books into CiNii Research

Interuniversity Micro-Electronics Center

ID:DA0462232X

Alias Name: IMEC

Search authors sharing the same name

Search Results1-3 of 3

1

Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92

organized by CHEOPS ESPRIT BRA 3215 ; sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21-24 September 1992 ; edited by Luc J.M. Claesen, Michael J.C. Gordon

North-Holland 1993 IFIP transactions A . Computer science and technology ; 20

Available at 19 libraries
2

Formal VLSI correctness verification : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design

sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 ; edited by Luc J.M. Claesen

North-Holland , Distributed in the U.S. and Canada, Elsevier Science Pub. Co. 1990 VLSI Design methods v. 2

Available at 10 libraries
3

Formal VLSI specification and synthesis : Proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design

sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 ; edited by Luc J.M. Claesen

North-Holland , Distributed for the U.S. and Canada, Elsevier Science Pub. Co. 1990 VLSI Design methods v. 1

Available at 10 libraries

Search this author

Related Authors