Library Catalogue Plus

APA (7th ed.) Citation

IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design Houthalen, Belgium, Interuniversity Micro-Electronics Center, & Claesen, L. J. M. (1990). Formal VLSI correctness verification : VLSI Design methods, II : 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: VLSI Design methods, II : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design. North-Holland.

Chicago Style (17th ed.) Citation

IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design Houthalen, Belgium, Interuniversity Micro-Electronics Center, and Luc J. M. Claesen. Formal VLSI Correctness Verification : VLSI Design Methods, II : 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: VLSI Design Methods, II : Proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design. Amsterdam ; New York: North-Holland, 1990.

MLA (9th ed.) Citation

IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design Houthalen, Belgium, et al. Formal VLSI Correctness Verification : VLSI Design Methods, II : 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: VLSI Design Methods, II : Proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design. North-Holland, 1990.