Correct Hardware Design and Verification Methods
Subtitle: 10th IFIP WG10. 5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings
Publisher: Springer London, Limited
Published: 2003
Language: eng
ISBN-13: 9783540481539