TY  - RPRT
TI  - Topologically sorting VDM-SL definitions for Isabelle/HOL translation
AU  - Leo Freitas
PY  - 2023
UR  - https://arxiv.org/abs/2304.15006
ID  - 2304.15006
ER  -