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.