Akram Idani, Yves Ledru, Adil Anwar. A rigorous reasoning about model transformations using the B method. In International Conference on Exploring Modelling Methods for Systems Analysis and Design (EMMSAD'2013), held at CAiSE 2013, Pages 426-440, Valencia, Spain, Juin 2013.
@InProceedings{VascoEMMSAD2013,
Author = {Idani, Akram and Ledru, Yves and Anwar, Adil},
Title = {A rigorous reasoning about model transformations using the {B} method},
BookTitle = {International Conference on Exploring Modelling Methods for Systems Analysis and Design (EMMSAD'2013), held at CAiSE 2013},
Pages = {426--440},
Publisher = {Springer},
Address = {Valencia, Spain},
Month = {June},
Year = {2013}
}
Charger la référence EndNote (.ref)