W. V. Tran-Jørgensen P. Automated translation of VDM-SL to JML-annotated Java. ECE-TR [Internet]. 9. marts 2017 [henvist 5. december 2025];5(29). Tilgængelig hos: https://tidsskrift.dk/ece/article/view/25846