Claesen, Luc J.M.

Computer hardware description languages and their application : proceedings of the 11th IFIP WG10.2 international conference on computer hardware description languages and their applications, CHDL'93 sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC Ottawa, Ontario, Canada, 26-28 April, 1993 / ed. by David Agnew, Luc Claesen, Raul Camposanoschema:ProductModel 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 / ed. by Luc J.M. Claesen, Michael J.C. Gordonschema:ProductModel VLSI design methods : proceedings of the IFIP WG 10.2/WG 10.5 international workshop on applied formal methods for correct VLSI Design [...], Houthalen, Belgium, 13-16 November, 1989 / edited by Luc J.M. Claesenschema:ProductModel VLSI design methods : proceedings of the IFIP WG 10.2/WG 10.5 international workshop on applied formal methods for correct VLSI Design [...], Houthalen, Belgium, 13-16 November, 1989 / Luc J.M. Claesenschema:ProductModel VLSI design methods : proceedings of the IFIP WG 10.2/WG 10.5 international workshop on applied formal methods for correct VLSI Design [...], Houthalen, Belgium, 13-16 November, 1989 / Luc J.M. Claesenschema:ProductModel