Lopes, M., 		França, R., 		Hirata, C., & 		Dias, L.
2018 out  8.  Method to Detect Floating-Point Absorption and Cancellation Phenomena in Software-Critical Design Models. Anais do Latin-American Symposium on Dependable Computing (LADC). [Online] :