Author Description

MEMOCODE '13: 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign Oct 18, 2013-Oct 20, 2013 Portland, USA. You can view more information about this proceeding and all of ACMs other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.