APA (7th ed.) Citation

(2000). Formal methods in computer aided design: Third international conference, FMCAD 2000, Austin, TX, USA, November 1 - 3, 2000 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

Formal Methods in Computer Aided Design: Third International Conference, FMCAD 2000, Austin, TX, USA, November 1 - 3, 2000 ; Proceedings. Berlin [u.a.]: Springer, 2000.

MLA (9th ed.) Citation

Formal Methods in Computer Aided Design: Third International Conference, FMCAD 2000, Austin, TX, USA, November 1 - 3, 2000 ; Proceedings. Springer, 2000.