APA (7th ed.) Citation

CHARME '93, Arles, France, Milne, G. J., & Pierre, L. (1993). Correct hardware design and verification methods: IFIP WG10.2 advanced research working conference, CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings. Springer-Verlag.

Chicago Style (17th ed.) Citation

CHARME '93, Arles, France, George J. Milne, and Laurence Pierre. Correct Hardware Design and Verification Methods: IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances, May 24-26, 1993 : Proceedings. Berlin ; New York: Springer-Verlag, 1993.

MLA (8th ed.) Citation

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