Merkliste 
 1 Ergebnisse 
 
1

Towards Verified Rounding Error Analysis for Stationary Ite..:

, In: 2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness),