@inproceedings{BraEtAl-ARITH-2015,
	Author = {Martin Brain and Cesare Tinelli and Philipp R{\"{u}}mmer and Thomas Wahl},
	Booktitle = {Proceedings of the 22nd {IEEE} Symposium on Computer Arithmetic},
	Editor = {Jean-Michel Muller and Arnaud Tisserand and Julio Villalba},
	Pages = {160--167},
	Publisher = {IEEE},
	Title = {An Automatable Formal Semantics for {IEEE-754} Floating-Point Arithmetic},
	Year = {2015}}