tree 949ec1cbe033535bed966e1449f5c3ae8a1e6ec7
parent 1dfce301ec15380468b68b8e90391ccf80f0604b
author ImreSamu <ImreSamu@users.noreply.github.com> 1519333560 +0100
committer ImreSamu <ImreSamu@users.noreply.github.com> 1519333560 +0100

add: "Inferring and Asserting Distributed System Invariants"