%0 Journal Article %1 journals/jlap/AlpuenteBEGS23 %A Alpuente, María %A Ballis, Demis %A Escobar, Santiago %A Galán, D. %A Sapiña, Julia %D 2023 %J J. Log. Algebraic Methods Program. %K dblp %P 100849 %T Safety enforcement via programmable strategies in Maude. %U http://dblp.uni-trier.de/db/journals/jlap/jlap132.html#AlpuenteBEGS23 %V 132

@article{journals/jlap/AlpuenteBEGS23, added-at = {2024-02-05T00:00:00.000+0100}, author = {Alpuente, María and Ballis, Demis and Escobar, Santiago and Galán, D. and Sapiña, Julia}, biburl = {https://www.bibsonomy.org/bibtex/2c4ebe0a328e1c9a905ebcb52fad22c93/dblp}, ee = {https://doi.org/10.1016/j.jlamp.2023.100849}, interhash = {c67bf0f159f87b5b88a977eca9a5d29a}, intrahash = {c4ebe0a328e1c9a905ebcb52fad22c93}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, month = {April}, pages = 100849, timestamp = {2024-04-09T05:08:11.000+0200}, title = {Safety enforcement via programmable strategies in Maude.}, url = {http://dblp.uni-trier.de/db/journals/jlap/jlap132.html#AlpuenteBEGS23}, volume = 132, year = 2023 }