A Rigorous Reasoning about Model Transformations Using the B Method.

Akram Idani, Yves Ledru, Adil Anwar

Browse the full CaiSE paper archive.