APA

Association for Computing Machinery-Digital Library, ACM Special Interest Group on Design Automation & ACM Special Interest Group on Embedded Systems. (2009). Proceedings of the 7th IEEEACM international conference on Formal Methods and Models for Codesign. Piscataway, NJ: IEEE Press.

Chicago

Association for Computing Machinery-Digital Library, ACM Special Interest Group on Design Automation and ACM Special Interest Group on Embedded Systems. 2009. Proceedings of the 7th IEEEACM international conference on Formal Methods and Models for Codesign. Piscataway, NJ: IEEE Press.

Harvard

Association for Computing Machinery-Digital Library, ACM Special Interest Group on Design Automation and ACM Special Interest Group on Embedded Systems. (2009). Proceedings of the 7th IEEEACM international conference on Formal Methods and Models for Codesign. Piscataway, NJ: IEEE Press.

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 7th IEEEACM international conference on Formal Methods and Models for Codesign. Piscataway, NJ: IEEE Press. 2009.