@第{zbMATH07785153条，作者={Wolf，Felix A.和Schwerhoff，Malte和M{“u}ller，Peter}，Title={复杂逻辑的简明大纲：{TaDA}}的校对大纲检查器，FJournal={系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={61}，数字={1}，页码={110--136}，年份={2022}，语言={英语}，DOI={10.1007/s10703-023-00427-w}，关键词={68Q60,68N30}，zbMATH={7785153}，Zbl={1531.68043}}