Relational Verification of Distributed Systems Via Weak Simulations Subtitle
By : Shraddha Kadam
Book Info