VascoEMMSAD2013

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, June 2013.

Contact

Akram Idani
Yves Ledru

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)