Conference or Workshop Item

Brain, M. ORCID: 0000-0003-4216-7151, Niemetz, A., Preiner, M. , Reynolds, A., Barrett, C. & Tinelli, C.view all authors (2019). Invertibility Conditions for Floating-Point Formulae. In: Dillig, I. & Tasiran, S. (Eds.), Computer Aided Verification. CAV 2019. Lecture Notes in Computer Science, 11562. (pp. 116-136). Cham: Springer. ISBN 978-3-030-25542-8