Indexed Artifacts (24.7M)

Popular Categories

The ProB 2.0 Kernel library

LicenseEPL 1.0
HomePage http://www.prob2.de
Date(Dec 21, 2020)
Filesjar (36.9 MB)  View All
RepositoriesCentral
Used By3 artifacts

Note: There is a new version for this artifact

New Version3.14.0


Licenses

LicenseURL
Eclipse Public License, Version 1.0 http://www.eclipse.org/org/documents/epl-v10.html

Developers

NameEmailDev IdRolesOrganization
Jens Bendispostojens<at>bendisposto.debendisposto