EasyChair Smart Slide
Deductive Verification of Distributed Protocols in First-Order Logic
Deductive Verification of Distributed Protocols in First-Order Logic