APA

Association for Computing Machinery-Digital Library, ACM Special Interest Group on Design Automation & ACM Special Interest Group on Embedded Systems. (2015). Proceedings of the 2015 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 Design Automation and ACM Special Interest Group on Embedded Systems. 2015. Proceedings of the 2015 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 Design Automation and ACM Special Interest Group on Embedded Systems. (2015). Proceedings of the 2015 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 Design Automation and ACM Special Interest Group on Embedded Systems. Proceedings of the 2015 ACMIEEE International Conference on Formal Methods and Models for Codesign. Washington, DC: IEEE Computer Society. 2015.