FMCAD 2002 Portland, Or., Aagaard, M., & O'Leary, J. W. (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.) CitationFMCAD 2002 Portland, Or., Mark Aagaard, and John W. O'Leary. Formal Methods in Computer-aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : Proceedings. Berlin ; New York: Springer, 2002.
MLA (9th ed.) CitationFMCAD 2002 Portland, Or., et al. Formal Methods in Computer-aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : Proceedings. Springer, 2002.
Warning: These citations may not always be 100% accurate.