%0 Journal Article %1 journals/corr/abs-2108-07878 %A Braga, Christiano %A Martí-Oliet, Narciso %D 2021 %J CoRR %K dblp %T B Maude: A formal executable environment for Abstract Machine Notation Descriptions. %U http://dblp.uni-trier.de/db/journals/corr/corr2108.html#abs-2108-07878 %V abs/2108.07878

@article{journals/corr/abs-2108-07878, added-at = {2021-08-23T00:00:00.000+0200}, author = {Braga, Christiano and Martí-Oliet, Narciso}, biburl = {https://www.bibsonomy.org/bibtex/24184b369ccd065461e30805f353c8a5d/dblp}, ee = {https://arxiv.org/abs/2108.07878}, interhash = {acb855fa17b015b44bdb27060dc87842}, intrahash = {4184b369ccd065461e30805f353c8a5d}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:56:40.000+0200}, title = {B Maude: A formal executable environment for Abstract Machine Notation Descriptions.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2108.html#abs-2108-07878}, volume = {abs/2108.07878}, year = 2021 }