Indexed Artifacts (24.7M)

Popular Categories

The ProB 2.0 Kernel library

LicenseEPL 1.0
HomePage http://www.prob2.de
Date(Jan 22, 2021)
Filesjar (36.7 MB)  View All
RepositoriesCentral
Used By3 artifacts


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