IronFleet: Proving Practical Distributed Systems Correct

Date

August 31, 2016

Overview

People