APA (7th ed.) Citation

FMCAD 2004 Austin, Tex., Hu, A. J., & Martin, A. K. (2004). Formal methods in computer-aided design: 5th international confrence [as printed], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

FMCAD 2004 Austin, Tex., Alan J. Hu, and Andrew K. Martin. Formal Methods in Computer-aided Design: 5th International Confrence [as Printed], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; Proceedings. Berlin: Springer, 2004.

MLA (9th ed.) Citation

FMCAD 2004 Austin, Tex., et al. Formal Methods in Computer-aided Design: 5th International Confrence [as Printed], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; Proceedings. Springer, 2004.