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 2006), 25-28 April 2006, Loyola College Graduate Center, Columbia, MD, USA. pages 97-106, IEEE Computer Society, 2006. [doi]
@inproceedings{IdaniLB06, title = {A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams}, author = {Akram Idani and Yves Ledru and Didier Bert}, year = {2006}, doi = {10.1109/SEW.2006.6}, url = {http://doi.ieeecomputersociety.org/10.1109/SEW.2006.6}, tags = {reverse engineering, UML, systematic-approach}, researchr = {https://researchr.org/publication/IdaniLB06}, cites = {0}, citedby = {0}, pages = {97-106}, booktitle = {30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 25-28 April 2006, Loyola College Graduate Center, Columbia, MD, USA}, publisher = {IEEE Computer Society}, }