TY  - RPRT
TI  - Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL
AU  - Tomohiro Oda
AU  - Gaël Dur
AU  - Stéphane Ducasse
AU  - Hugo Daniel Macedo
PY  - 2023
UR  - https://arxiv.org/abs/2303.14944
ID  - 2303.14944
ER  -