TY  - JOUR
AU  - Verdejo López, José Alberto
AU  - Eker, Steven
AU  - Martí Oliet, Narciso
AU  - Meseguer, José
AU  - Rubio Cuéllar, Rubén Rafael
PY  - 2023
DO  - 10.1016/j.jlamp.2023.100887
SN  - 2352-2208
UR  - https://hdl.handle.net/20.500.14352/87218
T2  - Journal of Logical and Algebraic Methods in Programming
AB  - Rewriting logic is a natural and expressive framework for the specification of concurrent systems and logics. The Maude specification language provides an implementation of this formalism that allows executing, verifying, and analyzing the represented...
LA  - eng
PB  - Elsevier
KW  - Formal specification
KW  - Rewriting logic
KW  - Rewriting strategies
KW  - Maude
TI  - The Maude strategy language
TY  - journal article
VL  - 134
ER  -