C-language oating-point proofs layered with VST and Flocq.
- Published in:
- Journal of Formalized Reasoning, 2020, v. 13, n. 1, p. 1
- By:
- Publication type:
- Article
Works matching IS 19725787 AND DT 2020 AND VI 13 AND IP 1
Results: 2
1
2
Corrigendum: C-language oating-point proofs layered with VST and Flocq.
- Published in:
- Journal of Formalized Reasoning, 2020, v. 13, n. 1, p. 1
- Publication type:
- Article