From HDL descriptions to guaranteed correct circuit designs：proceedings of the IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed Correct Circuit Designs, Grenoble, France, 9-11 September, 1986

Corporate Authors: IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed Correct Circuit Designs (1986 Grenoble, France); IFIP WG 10.2.; Université scientifique et médicale de Grenoble. Laboratoire IMAG.
Group Author: Borrione Dominique.
Published: North-Holland Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
Publication Dates: 1987.