Kanagasabapathi S, Thushara M. FORWARD AND BACKWARD STATIC ANALYSIS FOR CRITICAL NUMERICAL ACCURACY IN FLOATING POINT PROGRAMS. csci [Internet]. 2020 Apr. 24 [cited 2025 Mar. 13];21(2). Available from: https://journals.agh.edu.pl/csci/article/view/3421