Items where Author is "Tinelli, C."
Up a level
Group by: Type | No Grouping
Number of items: 1.
Conference or Workshop Item
Brain, M. 
ORCID: 0000-0003-4216-7151, Niemetz, A., Preiner, M. , Reynolds, A., Barrett, C. & Tinelli, C. (2019).
Invertibility Conditions for Floating-Point Formulae.
In: Dillig, I. & Tasiran, S. (Eds.),
Computer Aided Verification. CAV 2019.