Correct Hardware Design and Verification Methods
Subtitle: 13th IFIP WG 10. 5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings
Publisher: Springer London, Limited
Published: 2005
Language: eng
ISBN-13: 9783540320302