bibtex

@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},
}


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4121958