MEMOCODE (ACM/IEEE International Symposium on Formal Methods and Models for System Design): website MEMOCODE (ACM/IEEE International Symposium on Formal Methods and Models for System Design): Author Information
