Search Results - Claesen, Luc J. M
- Showing 1 - 3 results of 3
-
1
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
Published 1990Other Authors: “…Claesen, Luc J. M…”
Call Number: Loading…Click Here to View Status and Holdings.
Located: Loading…
Unknown -
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
Published 1990Other Authors: “…Claesen, Luc J. M…”
Call Number: Loading…Click Here to View Status and Holdings.
Located: Loading…
Unknown -
3
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 '...
Published 1993Other Authors: “…Claesen, Luc J. M…”
Call Number: Loading…Click Here to View Status and Holdings.
Located: Loading…
Unknown