TY  - DATA
AU  - Clavel,Manuel
AU  - Durán,Francisco
AU  - Eker,Steven
AU  - Lincoln,Patrick
AU  - Martí-Oliet,Narciso
AU  - Meseguer,José
AU  - Talcott,Carolyn
ED  - SpringerLink (Online service)
TI  - All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic 
SN  - 9783540719991
AV  - QA76.9.L63 	  C53 2007
PY  - 2007///
CY  - Berlin, Heidelberg
PB  - Springer-Verlag Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Artificial intelligence
KW  - Computer Science
KW  - Programming Techniques
KW  - Software Engineering
KW  - Programming Languages, Compilers, Interpreters
KW  - Artificial Intelligence (incl. Robotics)
KW  - Mathematical Logic and Formal Languages
UR  - http://dx.doi.org/10.1007/978-3-540-71999-1
ER  -