Marcus Lopes, Ricardo França, Celso Hirata, and Luiz Dias. 2018.
Method to Detect Floating-Point Absorption and Cancellation Phenomena in Software-Critical Design Models. In <em>Anais do VIII Latin-American Symposium on Dependable Computing</em>, outubro 08, 2018, Foz do Iguaçu, Brasil. SBC, Porto Alegre, Brasil, 125-134.