Posted by Katarina Singer on November 30, 2015 · Leave a Comment
Automating invariant and progress proofs for distributed systems
Category: Talks · Tags: