TY  - RPRT
TI  - Bidirectional UML Visualisation of VDM Models
AU  - Jonas Lund
AU  - Lucas Bjarke Jensen
AU  - Nick Battle
AU  - Peter Gorm Larsen
AU  - Hugo Daniel Macedo
PY  - 2023
UR  - https://arxiv.org/abs/2304.06618
ID  - 2304.06618
ER  -