All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic / [electronic resource] :
by Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
- v.: digital
- Lecture Notes in Computer Science, 4350 0302-9743 ; .