APA (7th ed.) Citation

CHARME 2003 L'Aquila, Italy, Geist, D., & Tronci, E. (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

CHARME 2003 L'Aquila, Italy, Daniel Geist, and Enrico Tronci. 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 ; New York: Springer, 2003.

MLA (9th ed.) Citation

CHARME 2003 L'Aquila, Italy, et al. 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.