View of Corrigendum: C floating-point proofs layered with VST and Flocq

Return to Article Details Corrigendum: C floating-point proofs layered with VST and Flocq Download Download PDF