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