Kanagasabapathi, S., & Thushara, M. (2020). FORWARD AND BACKWARD STATIC ANALYSIS FOR CRITICAL NUMERICAL ACCURACY IN FLOATING POINT PROGRAMS. Computer Science, 21(2). https://doi.org/10.7494/csci.2020.21.2.3421