sle2026/paper06

SLE 2026 paper:
Engineering Verified Model Transformations through a Proof-Based Language Workbench

Akram Idani, German Vega

• URL: https://conf.researchr.org/details/sle-2026/sle-2026/12/Engineering-Verified-Model-Transformations-through-a-Proof-Based-Language-Workbench
• T4A: Workbenches
  • Judging from the title, seems like a language workbench paper

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.