CA:ILB06

Akram Idani, Yves Ledru, Didier Bert. A Reverse-engineering Approach to Understanding B Specifications with UML Diagrams. In 30th Annual IEEE/NASA Software Engineering Workshop (SEW-30), Loyola College Graduate Center, Columbia MD, USA, Avril 2006.

Contact

Akram Idani
Yves Ledru
Didier Bert

Référence BibTex

@InProceedings{CA:ILB06,
   Author = {Idani, Akram and Ledru, Yves and Bert, Didier},
   Title = {{A Reverse-engineering Approach to Understanding B Specifications with UML Diagrams}},
   BookTitle = {30th Annual IEEE/NASA Software Engineering Workshop (SEW-30)},
   Publisher = {IEEE Computer Society Press},
   Address = {Loyola College Graduate Center, Columbia MD, USA},
   Month = {April},
   Year = {2006}
}

Référence EndNote [help]

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