W. V. Tran-Jørgensen, P. (2017) “Automated translation of VDM-SL to JML-annotated Java”, Technical Report Electronics and Computer Engineering, 5(29). Available at: https://tidsskrift.dk/ece/article/view/25846 (Accessed: 19 April 2024).