Philipp Körner, Florian Mager. An embedding of B in Clojure. 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 598-606, ACM, 2022. [doi]
Abstract is missing.