dblp.uni-trier.de www.uni-trier.de

All About Maude 2007

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott (Eds.): All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. Lecture Notes in Computer Science 4350 Springer 2007, ISBN 978-3-540-71940-3 BibTeX

Core Maude

Full Maude

Applications and Tools


Copyright © Sat May 16 23:29:17 2009 by Michael Ley (ley@uni-trier.de)