TY  - RPRT
TI  - Proceedings of the International Workshop on Verification of Scientific Software
AU  - Stephen F. Siegel
AU  - Ganesh Gopalakrishnan
PY  - 2025
DO  - 10.4204/eptcs.432
UR  - https://arxiv.org/abs/2510.12314
ID  - 2510.12314
ER  -