Browsing by Author Bertot, Yves
Showing results 1 to 1 of 1
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2020 | C floating-point proofs layered with VST and Flocq | Appel, Andrew W; Bertot, Yves |
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2020 | C floating-point proofs layered with VST and Flocq | Appel, Andrew W; Bertot, Yves |