Acronym
MEMCODE 2018
2018 16th ACM-IEEE International Conference on Formal Methods and Models for System Design
Date
–
Geographic Location
Beijing, China