VCFloat2: Floating-Point Error Analysis in Coq.
In: CPP; (2024) S. 14-29
Konferenz
Zugriff:
Titel: |
VCFloat2: Floating-Point Error Analysis in Coq.
|
---|---|
Autor/in / Beteiligte Person: | Appel, Andrew W. ; Kellison, Ariel |
Link: | |
Quelle: | CPP; (2024) S. 14-29 |
Veröffentlichung: | 2024 |
Medientyp: | Konferenz |
DOI: | 10.1145/3636501.3636953 |
Sonstiges: |
|