Proceedings

• Partha S. Roop, Naijun Zhan, Sicun Gao, Pierluigi Nuzzo, editors, Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019, La Jolla, CA, USA, October 9-11, 2019. ACM, 2019.