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