@收款{zbMATH07378300，作者={Mann，Makai and Irfan，Ahmed and Griggio，Alberto and Padon，Oded and Barrett，Clark}，Title={模型检验的反例引导预言（以数组理论为模）}，BookTitle={系统构建和分析的工具和算法。第27届国际会议，TACAS 2021，作为欧洲软件理论和实践联合会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。第一部分}，国际标准图书编号={978-3-030-72015-5；978-3-0.30-72016-2}，Pages={113-132}，年份={2021}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-72016-2_7}，关键词={68Q60}，zbMATH={7378300}，Zbl={1467.68089}}