roberto2aj/LTSAdapter
Adapts the LTS generated by ProB so that is can be used with JTorX.
Discovered public repositories for roberto2aj in the GitHub catalog.
Adapts the LTS generated by ProB so that is can be used with JTorX.
Public repository.
Public repository.