Kanagasabapathi, Somasundaram, and MG Thushara. 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.