/TheVerificationOfDistributedSystem

Accompanying Repository for The Verification of a Distributed System Talk

Issues