@第{zbMATH06067706条，作者=｛Apt，Krzysztof R.和De Boer，Frank S.和Olderog，Ernst-R“u”diger和De Gouw，Stijn｝，Title={面向对象程序的验证：转换方法}，FJournal={计算机与系统科学杂志}，期刊={J.Compute.Syst.Sci.}，ISSN={0022-0000}，体积={78}，数字={3}，页码={823--852}，年份={2012}，语言={英语}，DOI={10.1016/j.jcss.2011.08.002}，关键词={68N30,68N19,68Q60}，zbMATH={6067706}，Zbl={1245.68062}}