Engineering Verified Model Transformations through a Proof-Based Language Workbench.

Akram Idani, Germn Vega

Browse the full SLE paper archive.