LETOS
From MaRDI portal
Software:17134
swMATH4987MaRDI QIDQ17134FDOQ17134
Author name not available (Why is that?)
Cited In (8)
- The rewriting logic semantics project
- Operational semantics of the Java Card Virtual Machine
- SOS formats and meta-theory: 20 years after
- Nominal SOS
- Tool-assisted specification and verification of typed low-level languages
- The rewriting logic semantics project
- Title not available (Why is that?)
- Prototyping SOS meta-theory in Maude
This page was built for software: LETOS
