Kanagasabapathi, S., and M. Thushara. “FORWARD AND BACKWARD STATIC ANALYSIS FOR CRITICAL NUMERICAL ACCURACY IN FLOATING POINT PROGRAMS”. Computer Science, vol. 21, no. 2, Apr. 2020, doi:10.7494/csci.2020.21.2.3421.