Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo. Parameterized Strategies Specification in Maude. In José Luiz Fiadeiro, Ionut Tutu, editors, Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers. Volume 11563 of Lecture Notes in Computer Science, pages 27-44, Springer, 2018. [doi]
Abstract is missing.