TY  - RPRT
TI  - Scalable Deductive Verification of Data-Level Parallel Programs
AU  - Lars B. van den Haak
AU  - Anton Wijs
AU  - Marieke Huisman
PY  - 2026
UR  - https://arxiv.org/abs/2605.13616
ID  - 2605.13616
ER  -