We've verified that the organization stateright controls the domain:
A model checker for implementing distributed systems.
"Building Distributed Systems with Stateright"
Loading…
