20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022. IEEE, 2022. [doi]
Conference: memocode2022
@proceedings{memocode-2022,
title = {20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022},
year = {2022},
doi = {10.1109/MEMOCODE57689.2022},
url = {https://doi.org/10.1109/MEMOCODE57689.2022},
researchr = {https://researchr.org/publication/memocode-2022},
cites = {0},
citedby = {0},
booktitle = {20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022},
conference = {memocode},
publisher = {IEEE},
isbn = {979-8-3503-3190-5},
}