W. V. Tran-Jørgensen, P. (2017). Automated translation of VDM-SL to JML-annotated Java. Technical Report Electronics and Computer Engineering, 5(29). https://doi.org/10.7146/ece.v5i29.25846