Certifying a rule-based model transformation engine for proof preservation.

Zheng Cheng, Massimo Tisi, Joachim Hotonnier

Browse the full MODELS paper archive.