Corrigendum: C floating-point proofs layered with VST and Flocq (Q5014365)
From MaRDI portal
scientific article; zbMATH DE number 7437518
Language | Label | Description | Also known as |
---|---|---|---|
English | Corrigendum: C floating-point proofs layered with VST and Flocq |
scientific article; zbMATH DE number 7437518 |
Statements
2 December 2021
0 references
Corrigendum: C floating-point proofs layered with VST and Flocq (English)
0 references