Cited in
(10)- Prototyping SOS meta-theory in Maude
- Nominal SOS
- SOS formats and meta-theory: 20 years after
- Jakarta
- The rewriting logic semantics project
- Tool-assisted specification and verification of typed low-level languages
- qGCL
- scientific article; zbMATH DE number 1848374 (Why is no real title available?)
- The rewriting logic semantics project
- Operational semantics of the Java Card Virtual Machine
This page was built for software: LETOS
