Java+ITP
From MaRDI portal
Software:43970
No author found.
Related Items (7)
Towards a Unified Theory of Operational and Axiomatic Semantics ⋮ The rewriting logic semantics project ⋮ The rewriting logic semantics project: a progress report ⋮ Twenty years of rewriting logic ⋮ From Hoare Logic to Matching Logic Reachability ⋮ A rewriting logic approach to operational semantics ⋮ The Rewriting Logic Semantics Project: A Progress Report
This page was built for software: Java+ITP
