@proceedings{s:hal-03529572, TITLE = {{MEMOCODE '21: Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design}}, AUTHOR = {S, Arunkumar and M{\'e}ry, Dominique and Saha, Indranil and Zhang, Lijun}, URL = {https://inria.hal.science/hal-03529572}, BOOKTITLE = {{MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design}}, ADDRESS = {Virtual, China}, PUBLISHER = {{ACM}}, YEAR = {2021}, MONTH = Nov, DOI = {10.1145/3487212}, HAL_ID = {hal-03529572}, HAL_VERSION = {v1}, }