@book{89462,
	author = {Boldo, Sylvie, and Melquiond, Guillaume,},
	title = {Computer arithmetic and formal proofs :},
	publisher = {Elsevier,},
	year = {2017},
	address = {London, UK :}
}