@第{zbMATH07316068条，作者={Francalanza，Adrian和Cini，Clare}，Title={计算机拒绝：使用本地证明系统对运行时监视器进行判定解释}，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN＝{2352-2208}，体积={119}，页码={25}，注={Id/编号100636}，年份={2021}，语言={英语}，DOI={10.1016/j.jlamp.2020.100636}，关键词={68Q60,03B44}，zbMATH={7316068}，Zbl={1455.68103}}