swMATH32263MaRDI QIDQ43974FDOQ43974
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007%2F978-3-540-73449-9_19
Cited In (17)
- Twenty years of rewriting logic
- Memory representations in rewriting logic semantics definitions
- P systems with control nuclei: the concept
- Symbolic execution based on language transformation
- Towards a \(\mathbb{K}\)ool future
- 2OBJ
- Agapia
- PAGODA
- K tool
- K-Maude
- K-Java
- SymPLFIED
- MGS
- KLOVERA
- K Prover
- Defining and Executing P Systems with Structured Data in K
- An overview of the K semantic framework
This page was built for software: KOOL
