@第{zbMATH06377624条，作者={Brain，Martin and D’Silva，Vijay and Griggio，Alberto and Haller，Leopold and Kroening，Daniel}，Title={使用抽象冲突驱动子句学习确定浮点逻辑}，FJournal={系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={45}，数字={2}，页码={213--245}，年份={2014}，语言={英语}，DOI={10.1007/s10703-013-0203-7}，关键词={68Q60，68T05,68T20}，zbMATH={6377624}，Zbl={1317.68110}}