TY  - BOOK
AU  - Clavel,Manuel
ED  - SpringerLink (Online service).
TI  - All about Maude-- a high-performance logical framework: how to specify, program and verify systems in rewriting logic 
T2  - Lecture notes in computer science,
SN  - 9783540719991 
PY  - 2007///
CY  - Berlin, Heidelberg
PB  - Springer-Verlag Berlin Heidelberg
KW  - Computer logic
KW  - Rewriting systems (Computer science)
KW  - Human information processing
N1  - Includes bibliographical references and indexes
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-540-71999-1
ER  -