TY  - RPRT
TI  - Further Progress Towards Operation Proof Obligation Generation for VDM
AU  - Nick Battle
AU  - Carlo Rende
AU  - Peter Gorm Larsen
PY  - 2026
UR  - https://arxiv.org/abs/2608.19848
ID  - 2608.19848
ER  -