APA (7th ed.) Citation

(2004). Formal methods in computer-aided design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15 - 17, 2004 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

Formal Methods in Computer-aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15 - 17, 2004 ; Proceedings. Berlin u.a: Springer, 2004.

MLA (9th ed.) Citation

Formal Methods in Computer-aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15 - 17, 2004 ; Proceedings. Springer, 2004.