Programmi di mdt.sf.net

I Maude Development Tools sono un insieme di plugin che incorporano l'interprete maude (http://maude.cs.uiuc.edu) in Eclipse. Fornisce un plugin di base, che consente a qualsiasi programma Java di utilizzare Maude, e una seri