Correct Hardware Design and Verification Methods
Subtitle: 11th IFIP WG 10. 5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings
Publisher: Springer London, Limited
Published: 2003
Language: eng
ISBN-13: 9783540447986