APA (7th ed.) Citation

International Conference FMCAD 2000 : 3rd, Hunt, W. A., & Johnson, S. D. (2000). Formal methods in computer-aided design. Springer.

Chicago Style (17th ed.) Citation

International Conference FMCAD 2000 : 3rd, Warren A. Hunt, and Steven D. Johnson. Formal Methods in Computer-aided Design. Berlin: Springer, 2000.

MLA (8th ed.) Citation

International Conference FMCAD 2000 : 3rd, et al. Formal Methods in Computer-aided Design. Springer, 2000.