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 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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. [doi]

Conference: memocode2019

This author has not been identified. Look up 'Partha S. Roop' in GoogleThis author has not been identified. Look up 'Naijun Zhan' in GoogleThis author has not been identified. Look up 'Sicun Gao' in GoogleThis author has not been identified. Look up 'Pierluigi Nuzzo' in Google

runs on WebDSL