(1)
Appel, A. W.; Bertot, Y. Corrigendum: C Floating-Point Proofs Layered With VST and Flocq . JFR 2021, 13.