APA (7th ed.) Citation

(2003). Correct hardware design and verification methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings. Springer.

Chicago Style (17th ed.) Citation

Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : Proceedings. Berlin u.a: Springer, 2003.

MLA (9th ed.) Citation

Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : Proceedings. Springer, 2003.