MEMOCODE'18

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

The venue of MEMOCODE'18: the conference hall of Beihang University, in the beautiful patio of the University's main building.