ACL:IL06

Akram Idani, Yves Ledru. Dynamic Graphical UML Views from Formal B Specifications. Int. Journal of Information and Software Technology, 48(3):154-169, Mars 2006.

Contact

Akram Idani
Yves Ledru

Référence BibTex

@article{ACL:IL06,
   Author = {Idani, Akram and Ledru, Yves},
   Title = {{Dynamic Graphical UML Views from Formal B Specifications}},
   Journal = {Int. Journal of Information and Software Technology},
   Volume = {48},
   Number = {3},
   Pages = {154--169},
   Month = {March},
   Year = {2006}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)