@第{zbMATH05662164条，作者={B{\“o}hme，Sascha和Moskal，Micha{\l}和Schulte，Wolfram和Wolff，Burkhart}，标题={{HOL}（HOL）-{Boogie}——验证{C}编译器}的交互式证明后端，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={44}，数字={1-2}，页码={111--144}，年份={2010}，语言={英语}，DOI={10.1007/s10817-009-9142-9}，关键词={68N20,68Q60,68T15}，zbMATH={5662164}，Zbl={1185.68211}}