Author Description

MEMOCODE '17: 15th ACM-IEEE International Conference on Formal Methods and Models for System Design Sep 29, 2017-Oct 02, 2017 Vienna, Austria. 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.