@收款{zbMATH07600842，作者={Menghi，Claudio and Rizzi，Alessandro Maria and Bernasconi，Anna}，Title={将拓扑证明与模型检查集成到仪器迭代设计}，BookTitle={软件工程的基本方法。第23届国际会议，FASE 2020，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2020，爱尔兰都柏林，2020年4月25日至30日。诉讼}，国际标准图书编号={978-3-030-45233-9；978-3-0.30-45234-6}，页码={53--74}，年份={2020年}，出版商＝{Cham:S普林格}，语言={英语}，DOI={10.1007/978-3-030-45234-6_3}，关键词={68Q60}，zbMATH={7600842}，Zbl={1507.68195}}