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

Corporate Authors: CHARME 2005 (2005 Saarbrücken, Germany); IFIP WG 10.5; LINK (Online service)
Group Author: Borrione Dominique.; Paul Wolfgang J., 1951-
Published: Springer,
Publication Dates: 2005.