Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems

0 views
0 downloads