第36届ACM/IEEE计算机科学逻辑年会，LICS 2021，罗马，意大利，2021年6月29日-7月2日 许可证 电气与电子工程师协会 2021 978-1-6654-4895-6 https://doi.org/10.109/LICS52264.2021 db/conf/lics/lics2021.html