Bréhard, F., Mahboubi, A., Pous, D., Wagner, M., 2019. A Certificate-Based Approach to Formally Verified Approximations.. https://doi.org/10.4230/lipics.itp.2019.8