<p>François Févotte and Bruno Lathuilière. VERROU: <a href="https://www.fevotte.net/publications/fevotte2016.pdf">a CESTAC evaluation without recompilation. In International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN)</a>, Uppsala, Sweden, September 2016.</p>
-<p>Devan Sohier, Pablo De Oliveira Castro, François Févotte, Bruno Lathuilière, Eric Petit, and Olivier Jamond. <a href="https://hal.science/hal-01827319">Confidence intervals for stochastic arithmetic.</a> ACM Transactions on Mathematical Software, 47(2), 2021. This contains more information about the required number of samples (not specific to verrou).
+<p>Devan Sohier, Pablo De Oliveira Castro, François Févotte, Bruno Lathuilière, Eric Petit, and Olivier Jamond. <a href="https://hal.science/hal-01827319">Confidence intervals for stochastic arithmetic.</a> ACM Transactions on Mathematical Software, 47(2), 2021. This contains more information about the required number of samples (not specific to verrou).</p>
</dd>
</dl>