MEMOCODE'19

17th ACM-IEEE International Conference on Formal Methods and Models for System Design
San Diego, USA
October 9-11, 2019

Keynote Speakers

Prof. Edward A. Lee, UC Berkeley

Prof. Rajeev Alur, University of Pennsylvania

Dr. Huafeng Yu, The Boeing Company