Home » org.overturetool.ide.vdmpp » org.overture.ide.vdmpp.core » 2.4.8

Overture IDE Vdmpp Core » 2.4.8

Overture IDE Vdmpp Core

LicenseGPL 3.0
CategoriesEclipse Plugins
Tagsplugineclipseide
DateJun 05, 2017
Filespom (634 bytes)  eclipse-plugin   View All
RepositoriesCentral
Ranking#550019 in MvnRepository (See Top Artifacts)
#1081 in Eclipse Plugins

Note: There is a new version for this artifact

New Version3.0.2


Compile Dependencies (0)

Category/License Group / ArtifactVersionUpdates

Licenses

LicenseURL
GNU General Public License (GPL) version 3 http://www.gnu.org/licenses/gpl.txt

Developers

NameEmailDev IdRolesOrganization
Information contact for the Overture projectinfo<at>overturetool.orgoverturePrimary point of contact
Kenneth Lausdahllausdahl<at>eng.au.dklausdahlcoordinator, architect, developerAarhus University
Nick Battlenick.battle<at>gmail.comnickbattlearchitect, developerFujitsu UK