Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings

Dominique Borrione, Wolfgang J. Paul, editors, Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings. Volume 3725 of Lecture Notes in Computer Science, Springer, 2005.

Conference: charme2005

Editors

Dominique Borrione

This author has not been identified. Look up 'Dominique Borrione' in Google

Wolfgang J. Paul

This author has not been identified. Look up 'Wolfgang J. Paul' in Google