Scott David Stoller
-
Automated Analysis of Fault-Tolerance in Distributed Systems
Formal Methods in System Design