W. V. Tran-Jørgensen P. Automated translation of VDM-SL to JML-annotated Java. ECE-TR [Internet]. 2017 Mar. 9 [cited 2024 Apr. 25];5(29). Available from: https://tidsskrift.dk/ece/article/view/25846