W. V. Tran-Jørgensen, Peter, Department of Engineering, Aarhus University., Denmark
-
Technical Report Electronics and Computer Engineering Vol. 5 No. 29 (2017): Automated translation of VDM-SL to JML-annotated Java - Reports
Automated translation of VDM-SL to JML-annotated Java
Abstract PDF