Correct hardware design and verification methods
Subtitle: IFIP WG 10.2 Advanced Research Working Conference, CHARME '93 : Arles, France, May 24-26, 1993 : proceedings
By: George J. Milne, Laurence Pierre (eds.).
Contributors: Milne, George J., 1952.; Pierre, Laurence.
Series: Lecture notes in computer science -- vol.683
Publisher: Springer-Verlag
Published: 1993
Place of publication: Berlin; London
Language: eng