mirror of
https://github.com/Ponce/slackbuilds
synced 2024-11-28 10:02:43 +01:00
5 lines
179 B
Text
5 lines
179 B
Text
|
Relational Meta-Language (RML) and Tools
|
||
|
A System for Developing, Compiling and Debugging and Teaching
|
||
|
Structural Operational Semantics (SOS) and
|
||
|
Natural Semantics Specifications
|