Cited in
(18)- Memory representations in rewriting logic semantics definitions
- P systems with control nuclei: the concept
- Towards a \(\mathbb{K}\)ool future
- Symbolic execution based on language transformation
- JavaFAN
- 2OBJ
- Agapia
- PAGODA
- K tool
- K-Maude
- K-Java
- SymPLFIED
- MGS
- KLOVERA
- K Prover
- An overview of the K semantic framework
- Defining and Executing P Systems with Structured Data in K
- Twenty years of rewriting logic
This page was built for software: KOOL
