APA (7th ed.) Citation

(2002). Formal methods in computer aided design: 4th international conference, FMCAD 2002, Portland, OR, USA, November 6 - 8, 2002 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

Formal Methods in Computer Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6 - 8, 2002 ; Proceedings. Berlin [u.a.]: Springer, 2002.

MLA (9th ed.) Citation

Formal Methods in Computer Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6 - 8, 2002 ; Proceedings. Springer, 2002.