@第{zbMATH06455041条，作者={博尔多、西尔维和朱丹、雅克·亨利和勒罗伊、泽维尔和梅尔金德、纪尧姆}，Title={浮点计算的验证编译}，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={54}，数字={2}，页码={135--163}，年份={2015年}，语言={英语}，DOI={10.1007/s10817-014-9317-x}，关键词={68N20,65G50,68Q60,68T15}，zbMATH={6455041}，Zbl={1331.68047}}