APA (7th ed.) Citation

Advanced Research Working Conference on Correct Hardware Design Methodologies Frankfurt/Main, Germany, Camurati, P., & Eveking, H. (1995). Correct hardware design and verification methods: IFIP WG10.5 advanced research working conference, CHARME 95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings. Springer.

Chicago Style (17th ed.) Citation

Advanced Research Working Conference on Correct Hardware Design Methodologies Frankfurt/Main, Germany, Paolo Camurati, and Hans Eveking. Correct Hardware Design and Verification Methods: IFIP WG10.5 Advanced Research Working Conference, CHARME 95, Frankfurt/Main, Germany, October 2-4, 1995 : Proceedings. Berlin: Springer, 1995.

MLA (9th ed.) Citation

Advanced Research Working Conference on Correct Hardware Design Methodologies Frankfurt/Main, Germany, et al. Correct Hardware Design and Verification Methods: IFIP WG10.5 Advanced Research Working Conference, CHARME 95, Frankfurt/Main, Germany, October 2-4, 1995 : Proceedings. Springer, 1995.