TY  - RPRT
TI  - B Maude: A formal executable environment for Abstract Machine Notation Descriptions
AU  - Christiano Braga
AU  - Narciso Martí-Oliet
PY  - 2021
UR  - https://arxiv.org/abs/2108.07878
ID  - 2108.07878
ER  -