Publications

(2024). Numeric Error Detection. In CCF-A.