Grail
From MaRDI portal
Software:38480
No author found.
Related Items (4)
Logic for Programming, Artificial Intelligence, and Reasoning ⋮ Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits ⋮ A program logic for resources ⋮ Compositional schedulability analysis of real-time actor-based systems
This page was built for software: Grail
