City Research Online - Items where Author is "Tasiran, S."

Items where Author is "Tasiran, S."

[up]

Group by: Type | No Grouping

Number of items: 1.

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.

This list was generated on Thu Oct 30 22:17:09 2025 UTC.