Acronym
MEMOCODE 2017
2017 15th ACM-IEEE International Conference on Formal Methods and Models for System Design
Date
–
Geographic Location
TU Wien, Vienna, Austria