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

Authors

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

DOI:

https://doi.org/10.6092/issn.1972-5787/12643

Downloads

Published

2021-03-31

How to Cite

Appel, A. W., & Bertot, Y. (2020). Corrigendum: C floating-point proofs layered with VST and Flocq . Journal of Formalized Reasoning, 13(1). https://doi.org/10.6092/issn.1972-5787/12643

Issue

Vol. 13 No. 1 (2020)

Section

Errata

License

Copyright (c) 2020 Andrew W. Appel, Yves Bertot

Creative Commons License

This work is licensed under a Creative Commons Attribution 3.0 Unported License.