Home » org.overturetool.core.codegen » vdm2jml-runtime » 2.4.2 » Changes

The VDM to JML Generator Runtime » 2.4.2

The VDM to JML Generator Runtime
Version2.4.2compared with

Version Details

2.4.0 2.4.2
Release dateAug 29, 2016Oct 06, 2016
LicensesGPL 3.0GPL 3.0
VulnerabilitiesNoneNone

Compile Changes (1)

2.4.0 2.4.2
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.overturetool.core.codegen » codegen-runtime2.4.02.4.2