APA (7th ed.) Citation

FMCAD 2007 Austin, Tex., FMCAD Inc, IEEE Council on Electronic Design Automation, Baumgartner, J., & Sheeran, M. (2007). Formal methods in computer-aided design FMCAD 2007 : proceedings : November 11-14, 2007, Austin, Texas, USA / [Jason Baumgartner, Mary Sheeran, chairs ; sponsored by FMCAD Inc., IEEE Council on Electronic Design Automation (CEDA)]: FMCAD 2007 : proceedings : November 11-14, 2007, Austin, Texas, USA. IEEE Computer Society.

Chicago Style (17th ed.) Citation

FMCAD 2007 Austin, Tex., FMCAD Inc, IEEE Council on Electronic Design Automation, Jason Baumgartner, and Mary Sheeran. Formal Methods in Computer-aided Design FMCAD 2007 : Proceedings : November 11-14, 2007, Austin, Texas, USA / [Jason Baumgartner, Mary Sheeran, Chairs ; Sponsored by FMCAD Inc., IEEE Council on Electronic Design Automation (CEDA)]: FMCAD 2007 : Proceedings : November 11-14, 2007, Austin, Texas, USA. Las Alamotos, Calif.: IEEE Computer Society, 2007.

MLA (9th ed.) Citation

FMCAD 2007 Austin, Tex., et al. Formal Methods in Computer-aided Design FMCAD 2007 : Proceedings : November 11-14, 2007, Austin, Texas, USA / [Jason Baumgartner, Mary Sheeran, Chairs ; Sponsored by FMCAD Inc., IEEE Council on Electronic Design Automation (CEDA)]: FMCAD 2007 : Proceedings : November 11-14, 2007, Austin, Texas, USA. IEEE Computer Society, 2007.

Warning: These citations may not always be 100% accurate.