Programas por maude-msos-tool.sf.net
-
Maude MSOS Tool Gratis
Maude MSOS Tool es un entorno formal para la especificación de las especificaciones de la Semántica Operativa Estructural Modular. Es particularmente útil para la especificación formal de lenguajes de programación y sistemas