@第{zbMATH06496663条，作者={von Essen，Christian和Jobstmann，Barbara}，标题={程序修复无遗憾}，FJournal={系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={47}，数字={1}，页码={26--50}，年份={2015年}，语言={英语}，DOI={10.1007/s10703-015-0223-6}，关键词={68N30,03B70,68Q45,68Q60}，URL={infoscience.epfl.ch/record/283987}，zbMATH={6496663}，Zbl={1322.68056}}