KOOL
From MaRDI portal
Software:43974
No author found.
Related Items (7)
Twenty years of rewriting logic ⋮ Symbolic execution based on language transformation ⋮ Memory Representations in Rewriting Logic Semantics Definitions ⋮ Defining and Executing P Systems with Structured Data in K ⋮ P systems with control nuclei: the concept ⋮ An overview of the K semantic framework ⋮ Towards a \(\mathbb{K}\)ool future
This page was built for software: KOOL
