TY  - RPRT
TI  - Extending Contract Verification for Parallel Programming Models to Fortran
AU  - Yussur Mustafa Oraji
AU  - Christian Bischof
PY  - 2026
UR  - https://arxiv.org/abs/2604.20410
ID  - 2604.20410
ER  -