@book{247492,
	author = {Boldo, Sylvie, and Melquiond, Guillaume,},
	title = {Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system / },
	publisher = {ISTE Press ;},
	year = {2017.},
	address = {London :},
	url = {https://www.sciencedirect.com/science/book/9781785481123}
}