

An edition of Correct hardware design and verification methods (2005)
13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 ; proceedings
By CHARME 2005 (2005 Saarbrüchen, Germany)
Publish Date
2005
Publisher
Springer
Language
eng
Pages
412