B4Free
From MaRDI portal
Software:19143
No author found.
Related Items (3)
Formal and incremental construction of distributed algorithms: on the distributed reference counting algorithm ⋮ Efficient approximate verification of B and Z models via symmetry markers ⋮ Incremental Parametric Development of Greedy Algorithms
This page was built for software: B4Free
