Library Catalogue Plus

APA (7th ed.) Citation

FMCAD 2006 San Jose, Calif, IEEE Computer Society, FMCAD Inc, IEEE Council on Electronic Design Automation, IEEE Xplore (Online service), Gupta, A., & Manolios, P. (2006). Formal methods in computer-aided design proceedings of : 12-16 November, 2006, San Jose, California, USA / [sponsored by FMCAD Inc., IEEE Council on Electronic Design Automatiion (CECA)]: Proceedings of : 12-16 November, 2006, San Jose, California, USA. IEEE Computer Society.

Chicago Style (17th ed.) Citation

FMCAD 2006 San Jose, Calif, IEEE Computer Society, FMCAD Inc, IEEE Council on Electronic Design Automation, IEEE Xplore (Online service), Aarti Gupta, and Panagiotis Manolios. Formal Methods in Computer-aided Design Proceedings of : 12-16 November, 2006, San Jose, California, USA / [sponsored by FMCAD Inc., IEEE Council on Electronic Design Automatiion (CECA)]: Proceedings of : 12-16 November, 2006, San Jose, California, USA. Las Alamotos, Calif.: IEEE Computer Society, 2006.

MLA (9th ed.) Citation

FMCAD 2006 San Jose, Calif, et al. Formal Methods in Computer-aided Design Proceedings of : 12-16 November, 2006, San Jose, California, USA / [sponsored by FMCAD Inc., IEEE Council on Electronic Design Automatiion (CECA)]: Proceedings of : 12-16 November, 2006, San Jose, California, USA. IEEE Computer Society, 2006.