Arnault Ioualalen, Matthieu Martel, Nicolas Normand. An Overview of Numalis Software Suite for Reliable Numerical Computation. In 2017 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Toulouse, France, October 23-26, 2017. pages 1-4, IEEE Computer Society, 2017. [doi]
Abstract is missing.