APA

Association for Computing Machinery-Digital Library, ACM Special Interest Group on Embedded Systems & ACM Special Interest Group on Design Automation. (2012). Proceedings of the Tenth ACMIEEE International Conference on Formal Methods and Models for Codesign. Washington, DC: IEEE Computer Society.

Chicago

Association for Computing Machinery-Digital Library, ACM Special Interest Group on Embedded Systems and ACM Special Interest Group on Design Automation. 2012. Proceedings of the Tenth ACMIEEE International Conference on Formal Methods and Models for Codesign. Washington, DC: IEEE Computer Society.

Harvard

Association for Computing Machinery-Digital Library, ACM Special Interest Group on Embedded Systems and ACM Special Interest Group on Design Automation. (2012). Proceedings of the Tenth ACMIEEE International Conference on Formal Methods and Models for Codesign. Washington, DC: IEEE Computer Society.

MLA

Association for Computing Machinery-Digital Library, ACM Special Interest Group on Embedded Systems and ACM Special Interest Group on Design Automation. Proceedings of the Tenth ACMIEEE International Conference on Formal Methods and Models for Codesign. Washington, DC: IEEE Computer Society. 2012.