This page shows all presentations from this conference published in EasyChair Smart Slide.
Towards an Automatic Proof of Lamport's Paxos
Aman Goel and Karem A. Sakallah