APA (7th ed.) Citation

FMCAD '96 Palo Alto, Calif, SpringerLink (Online service), Srivas, M., & Camilleri, A. (1996). Formal methods in computer-aided design: First international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings. Springer.

Chicago Style (17th ed.) Citation

FMCAD '96 Palo Alto, Calif, SpringerLink (Online service), Mandayam Srivas, and Albert Camilleri. Formal Methods in Computer-aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : Proceedings. Berlin ; New York: Springer, 1996.

MLA (9th ed.) Citation

FMCAD '96 Palo Alto, Calif, et al. Formal Methods in Computer-aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : Proceedings. Springer, 1996.