Programmes par maude-msos-tool.sf.net

Maude MSOS Tool est un environnement formel pour la spécification des spécifications sémantiques opérationnelles structurelles modulaires. Il est particulièrement utile pour la spécification formelle des langages de programm