文章基本信息
- 标题：Corrigendum: C floating-point proofs layered with VST and Flocq
- 本地全文：下载
- 作者：Andrew W. Appel ; Yves Bertot
- 期刊名称：Journal of Formalized Reasoning
- 印刷版ISSN：1972-5787
- 出版年度：2021
- 卷号：13
- 期号：1
- DOI：10.6092/issn.1972-5787/12643
- 语种：English
- 出版社：Alma Mater Studiorum - University of Bologna
