Invertibility Conditions for Floating-Point Formulas
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Martin Brain, Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
Invertibility Conditions for Floating-Point Formulas
CAV, 2019.

CAV p2 2019
Full names Links ISxN
	author        = "Martin Brain and Aina Niemetz and Mathias Preiner and Andrew Reynolds and Clark W. Barrett and Cesare Tinelli",
	booktitle     = "{Proceedings of the 30st International Conference on Computer Aided Verification, Part II}",
	doi           = "10.1007/978-3-030-25543-5_8",
	isbn          = "['978-3-030-25542-8', '978-3-030-25543-5']",
	pages         = "116--136",
	publisher     = "{Springer}",
	title         = "{Invertibility Conditions for Floating-Point Formulas}",
	year          = 2019,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.