@inproceedings{RAA5,
title = {Memory Policy Analysis for Semantics Specifications in Maude },
author = {Riesco, Adri{\'{a}}n and Asavoae, Irina and Asavoae, Mihail},
year = {2015},
booktitle = {Logic-Based Program Synthesis and Transformation - 25th International Symposium, {LOPSTR} 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers},
pages = {293--310},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {9527},
team = {SYNC, PACSS},
}