MEMOCODE'18

16th ACM-IEEE International Conference on Formal Methods and Models for System Design
Beijing, China
October 15-17, 2018