All About Maude
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
Contents BibTeX
Copyright © Sat May 16 23:29:17 2009
by Michael Ley (ley@uni-trier.de)
