Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul. Visual animation of B specifications using executable DSLs. In Thomas Kühn 0001, Vasco Sousa, editors, Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022. pages 617-626, ACM, 2022. [doi]
@inproceedings{YarILD22,
title = {Visual animation of B specifications using executable DSLs},
author = {Asfand Yar and Akram Idani and Yves Ledru and Simon Collart Dutilleul},
year = {2022},
doi = {10.1145/3550356.3561585},
url = {https://doi.org/10.1145/3550356.3561585},
researchr = {https://researchr.org/publication/YarILD22},
cites = {0},
citedby = {0},
pages = {617-626},
booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022},
editor = {Thomas Kühn 0001 and Vasco Sousa},
publisher = {ACM},
isbn = {978-1-4503-9467-3},
}