Akram Idani, Germán Vega. Engineering Verified Model Transformations through a Proof-Based Language Workbench. In Arnaud Blouin, Jean-Baptiste Döderlein, Jordi Cabot, Shigeru Chiba, editors, Proceedings of the 19th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2026, IRISA / Inria, Rennes, France, July 2-3, 2026. pages 121-133, ACM, 2026. [doi]
Abstract is missing.