APA (7th ed.) Citation

(1993). Correct hardware design and verification methods: IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, France, May 24 - 26, 1993 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

Correct Hardware Design and Verification Methods: IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, France, May 24 - 26, 1993 ; Proceedings. Berlin u.a: Springer, 1993.

MLA (9th ed.) Citation

Correct Hardware Design and Verification Methods: IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, France, May 24 - 26, 1993 ; Proceedings. Springer, 1993.