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

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