TY  - RPRT
TI  - Verified VCG and Verified Compiler for Dafny
AU  - Daniel Nezamabadi
AU  - Magnus O. Myreen
AU  - Yong Kiam Tan
PY  - 2025
DO  - 10.1145/3779031.3779092
UR  - https://arxiv.org/abs/2512.05262
ID  - 2512.05262
ER  -