(1)
Kanagasabapathi, S.; Thushara, M. FORWARD AND BACKWARD STATIC ANALYSIS FOR CRITICAL NUMERICAL ACCURACY IN FLOATING POINT PROGRAMS. csci 2020, 21.