APA (7th ed.) Citation

(2005). 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. Springer.

Chicago Style (17th ed.) Citation

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. Berlin [u.a.]: Springer, 2005.

MLA (9th ed.) Citation

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. Springer, 2005.