Static Analysis on Floating-Point Programs Dealing with Division Operations Journal title: International Journal of Advanced Computer Science & Applications Authors: MG Thushara, K. Somasundaram Subject(s):
