S. Arun-Kumar 0004, Dominique Méry, Indranil Saha, Lijun Zhang 0001, editors, MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021. ACM, 2021. [doi]
Conference: memocode2021
@proceedings{memocode-2021,
title = {MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021},
year = {2021},
doi = {10.1145/3487212},
url = {https://doi.org/10.1145/3487212},
researchr = {https://researchr.org/publication/memocode-2021},
cites = {0},
citedby = {0},
booktitle = {MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021},
conference = {memocode},
editor = {S. Arun-Kumar 0004 and Dominique Méry and Indranil Saha and Lijun Zhang 0001},
publisher = {ACM},
isbn = {978-1-4503-9127-6},
}