Symbolic Execution of Distributed Systems

Bok av Raimondas Sasnauskas