TY  - RPRT
TI  - Trace-Based Execution-Level Observability of VDM-SL Specifications
AU  - Tomohiro Oda
AU  - Han-Myung Chang
PY  - 2026
UR  - https://arxiv.org/abs/2608.19510
ID  - 2608.19510
ER  -