TY  - RPRT
TI  - Towards Operation Proof Obligation Generation for VDM
AU  - Nick Battle
AU  - Peter Gorm Larsen
PY  - 2025
UR  - https://arxiv.org/abs/2506.12858
ID  - 2506.12858
ER  -