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