Gianluca Amato, Simone Di Nardo Di Maio, Francesca Scozzari. Numerical static analysis with Soot. In Patrick Lam, Elena Sherman, editors, Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis, SOAP 2013, Seattle, WA, USA, June 20, 2013. pages 25-30, ACM, 2013. [doi]
Abstract is missing.