[1]
A. W. Appel and Y. Bertot, “Corrigendum: C floating-point proofs layered with VST and Flocq ”, JFR, vol. 13, no. 1, Mar. 2021.