Cita APA (7a ed.)

Association for Computing Machinery-Digital Library, contributor, Bloem, R. P., & Sharygina, N. (2010). Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design. FMCAD Inc.

Cita Chicago Style (17a ed.)

Association for Computing Machinery-Digital Library, contributor, Roderick P. Bloem, y Natasha Sharygina. Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design. Austin, Taxes: FMCAD Inc, 2010.

Cita MLA (9a ed.)

Association for Computing Machinery-Digital Library, contributor, et al. Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design. FMCAD Inc, 2010.