Back to Record

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.

APA Citation

IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design (1989 : Houthalen, B., Claesen, L. J. M., Interuniversity Micro-Electronics Center., IFIP WG 10.5., IFIP WG 10.2. (1990). 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. Amsterdam: North-Holland .

MLA Citation

IFIP WG 10.2, et al.. 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. Amsterdam: North-Holland , 1990.

Warning: These citations may not always be complete (especially for serials).

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.

APA Citation

MLA Citation

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.