W. V. Tran-Jørgensen, P. (2017). Automated translation of VDM-SL to JML-annotated Java. Technical Report Electronics and Computer Engineering, 5(29). Retrieved from https://tidsskrift.dk/ece/article/view/25846