Verifying Distributed Algorithms via Dynamic Analysis and Theorem Proving

Verifying Distributed Algorithms via Dynamic Analysis and Theorem Proving

Bibliographic Details
Main Authors: Ne Win, Toh, Ernst, Michael D.
Published: 2023
Online Access:https://hdl.handle.net/1721.1/149943

Internet

https://hdl.handle.net/1721.1/149943

Similar Items