9789310068188
Shraddha Kadam
Dweep Press
English
Computer Science & Information Technology - Computer Science & Information Technology
2024
11915.00
Relational Verification of Distributed Systems Via Weak Simulations
