TY  - RPRT
TI  - Dafny as Verification-Aware Intermediate Language for Code Generation
AU  - Yue Chen Li
AU  - Stefan Zetzsche
AU  - Siva Somayyajula
PY  - 2025
UR  - https://arxiv.org/abs/2501.06283
ID  - 2501.06283
ER  -