Vol. 13 No. 1 (2020)

Published: 2020-12-21

Articles

C floating-point proofs layered with VST and Flocq

Andrew W. Appel, Yves Bertot

1-16
- PDF

Errata

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

Andrew W. Appel, Yves Bertot
- PDF