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.) CitationFMCAD 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.) CitationFMCAD 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.
Warning: These citations may not always be 100% accurate.