Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-10-01 06:32:51 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions
slackbuilds_ponce/development/rmlmmc/README
R. S. Ananda Murthy 184c63a354 development/rmlmmc: Added (Relational Meta-Language). 
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2014-10-22 08:33:52 +07:00

4 lines
179 B
Text
Raw Blame History

Relational Meta-Language (RML) and Tools
A System for Developing, Compiling and Debugging and Teaching
Structural Operational Semantics (SOS) and
Natural Semantics Specifications
Reference in a new issue View git blame Copy permalink