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, March 2006.

Contact

Akram Idani
Yves Ledru

BibTex Reference

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

EndNote Reference [help]

Get EndNote Reference (.ref)