Correct Hardware Design and Verification Methods: Ifipwg10.2 Advanced Research Working Conference Charme '93, Arles, France, May 24-26, 1993 
Subtitle: Procee (Lecture Notes in Computer Science)
Contributors: Laurence Pierre (Editor)
Publisher: Springer
Published: September 1993
Number of pages: 277
ISBN-13: 9780387567785