swMATH4987MaRDI QIDQ17134FDOQ17134
Author name not available (Why is that?)
Official website: http://users.ecs.soton.ac.uk/phh/letos.html
Cited In (9)
- 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?)
- qGCL
- Prototyping SOS meta-theory in Maude
This page was built for software: LETOS
