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]
Abstract is missing.