Indexed Artifacts (10.1M)

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.8Central1Feb, 2016
1.0.7Central 0 Aug, 2015