TY  - RPRT
TI  - Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling
AU  - Alper Altuntas
AU  - Allison H. Baker
AU  - John Baugh
AU  - Ganesh Gopalakrishnan
AU  - Stephen F. Siegel
PY  - 2025
DO  - 10.4204/eptcs.432.8
UR  - https://arxiv.org/abs/2510.13425
ID  - 2510.13425
ER  -