I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

VCFloat2: Floating-Point Error Analysis in Coq:

, In: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Appel, Andrew ; Kellison, Ariel - p. 14-29 , 2024
Link: https://dl.acm.org/doi/10.1145/3636501.3636953