Correct Hardware Design and Verification Methods
Subtitle: 12th IFIP WG 10. 5 Advanced Research Working Conference, CHARME 2003, l'Aquila, Italy, October 21-24, 2003, Proceedings
Publisher: Springer London, Limited
Published: 2003
Language: eng
ISBN-13: 9783540397243