@收款{zbMATH05977520，作者={Nguyen，Thi Minh Tuyen和March，Claude，标题={数值程序的硬件相关证明}，BookTitle={认证程序和证明。第一届国际会议，CPP 2011，垦丁，台湾，2011年12月7-9日。诉讼}，国际标准图书编号={978-3-642-25378-2}，Pages＝{314-329}，年份={2011}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-25379-9_23}，关键词={68T15,68N30,68Q60,94C10}，zbMATH={5977520}，Zbl={1350.68241}}