W. V. TRAN-JØRGENSEN, P. Automated translation of VDM-SL to JML-annotated Java. Technical Report Electronics and Computer Engineering, [S. l.], v. 5, n. 29, 2017. Disponível em: https://tidsskrift.dk/ece/article/view/25846. Acesso em: 25 apr. 2024.