Journal of Formalized Reasoning (Mar 2021)

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

Andrew W. Appel,
Yves Bertot

Affiliations

Andrew W. Appel: Princeton University
Yves Bertot: INRIA Sophia-Antipolis

DOI: https://doi.org/10.6092/issn.1972-5787/12643
Journal volume & issue: Vol. 13, no. 1

Abstract

No abstracts available.

Published in Journal of Formalized Reasoning

ISSN: 1972-5787 (Online)
Publisher: University of Bologna
Country of publisher: Italy
LCC subjects: Science: Mathematics: Instruments and machines: Electronic computers. Computer science; Science: Mathematics: Analytic mechanics
Website: http://jfr.unibo.it/

About the journal