Indexed Artifacts (8.21M)

Popular Categories

Translator from TLA+ to ProB's AST representation.

LicenseEPL 1.0
Used By2 artifacts

VersionRepositoryUsagesDate
1.0.9Central 0 (Jul, 2017)
1.0.8Central1(Feb, 2016)
1.0.7Central 0 (Aug, 2015)