Programas por maude-msos-tool.sf.net

A Ferramenta Maude MSOS é um ambiente formal para a especificação das especificações modulares da semântica operacional estrutural. É particularmente útil para a especificação formal das linguagens de programação e dos siste