Symbolic Execution of Distributed Systems

Paperback