681.142.2
F98 2	The fusion of hardware design and verification [Текст] : Proceed. of the IFIP WG 10.2 Working conference on the fusion of hardware design and verification Glasgow, Scotland, 4-6 july, 1988 / ed. by G.J.Milne. — Amsterdam : NHPC, 1988. — 501 p.
ISBN 0-444-70532-5